2020-10-25T20:42:54Zhttp://edoc.mpg.de/ac_p_oai.ploai:edoc.mpg.de:137352005-11-0719:91
InBook
Abstraction based supervisory controller synthesis for high order monotone continuous systems
English
Springer-Verlag Berlin
Berlin
2002
247
265
279
Modelling, analysis, and design of hybrid systems
S. Engell et al.
Lecture notes in control and information Sciences
Abstraction based approaches to hybrid control systems synthesis have so far been mostly limited to problems with low- order linear continuous dynamics. In this paper, results from the theory of monotone dynamical systems are used to efficiently compute discrete abstractions for a class of nonlinear models. Furthermore, a situation is investigated where the high-dimensional plant state converges to a low- dimensional manifold; in the proposed approach the computational effort is governed by the dimension of the low- order manifold without neglecting the high-order dynamics. Results are applied to synthesize a discrete event controller for the automatic start-up of a nonlinear distillation column model of order 42.
expertsonly
published
joureview
T.
Moor
T.
J.
Raisch
J.
000177426800014
0170-8643
Australian Natl Univ, Res Sch Informat Sci & Engn, GPO Box 4, Canberra, ACT, Australia; Otto Von Guericke Univ, Lehrstuhl Syst Theorie Techn Prozesse, Magdeburg, Germany
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2003
2005-11-07 13:19:23.599912
oai:edoc.mpg.de:137382004-03-1719:91
Article
Discrete supervisory control of hybrid systems based on l- complete approximations
English
2002-01
83
107
Discrete Event Dynamic Systems-Theory and Applications
Discret. Event Dyn. Syst.-Theory Appl.
1
12
The topic of this paper is the synthesis of discrete supervisory control for hybrid systems Sigma with discrete external signals. Such systems are in general neither l- complete nor can they be represented by finite state machines. Our solution to the control problem is as follows: we find the strongest l-complete approximation (abstraction) Sigma (l) for Sigma, represent it by a finite state machine, and investigate the control problem for the approximation. If a solution exists on the approximation level, we synthesize the maximally permissive supervisor for Sigma (l). We show that it also solves the control problem for the underlying hybrid system Sigma. If no solution exists, approximation accuracy can be increased by computing the strongest k-complete abstraction Sigma (k), k > l. The basic ideas regarding the approximation step are explained within the framework of Willems' behavioral systems theory. Implementation issues are treated in a state space framework, and the main results are interpreted from a traditional control engineering point of view.
hybrid systems; supervisory control; behavioral approach; l- complete approximations
expertsonly
published
joureview
T.
Moor
T.
J.
Raisch
J.
S.
O'Young
S.
000172973100004
0924-6703
Australian Natl Univ, Res Sch Informat Sci & Engn, Canberra, ACT 0200, Australia; Mem Univ Newfoundland, St Johns, NF A1B 3X5, Canada
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2003
2004-03-17 12:15:08.233007
oai:edoc.mpg.de:138032007-10-2619:91
Article
Population balance modelling and H-infinity-controller design for a crystallization process
English
2002-10
4401
4414
Chemical Engineering Science
Chem. Eng. Sci.
20
57
In this paper we consider the robustly stabilizing control of a 10001 draft tube baffled crystallizer. When operated at high fines dissolution rates, the crystallizer exhibits sustained oscillations. A detailed population balance model for the process can be found in the literature. Based on this detailed model we develop a simpler population balance model. This, in turn, permits the derivation of an irrational transfer function from manipulated to measured variable. An H-infinity mixed sensitivity minimization problem is formulated and solved using an infinite-dimensional version of H-infinity theory. Two different controllers are designed and compared in simulation studies.
crystallization; population balance; process control; infinite- dimensional system; robust control
expertsonly
published
joureview
U.
Vollmer
U.
J.
Raisch
J.
000179438200014
0009-2509
Univ Magdeburg, Lehrstuhl Syst Theorie Tech Prozesse, D-39106 Magdeburg, Germany
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2003
2007-10-26 13:30:39.133378
oai:edoc.mpg.de:347182005-11-0919:91
Conference-Paper
Application of virtual reference direct control design in rehabilitation engineering
Wismar
2002
1.2-4
3. Wismarer Automatisierungssymposium
Wismar, Germany
2002-09-26
2002-09-27
3. Wismarer Automatisierungssymposium
This paper deals with design of feedback controllers for kneejoint movement of paraplegics using Functional Electrical Stimulation (FES) of the paralysed quadriceps muscle group. The controller design approach, Virtual Reference Feedback Tuning (VRFT), is directly based on open loop measured data and fits the controller in such a way that the closed-loop meets a model reference objective. The use of this strategy, avoiding the modelling step, significantly reduces the time required for controller design and considerably simplifies the rehabilitation protocols. Linear and nonlinear controllers have been designed and experimentally tested, preliminary on a healthy subject and finally on a paraplegic patient. It is shown that the control design is effective in controlling the leg position and rejecting disturbances and it could be successfully used in a rehabilitation protocol.
No
expertsonly
published
notrev
F.
Previdi
F.
T.
Schauer
T.
S. M.
Savaresi
S. M.
673
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2003
2005-11-09 09:21:09.39338
oai:edoc.mpg.de:347272005-11-0719:91
Conference-Paper
Controller design for an oscillatory DTB crystallizer based on a population balance model
AIDIC
Sorrento
2002
1233
1239
15th International Symposium on Industrial Crystallization
Sorrento, Italy
2002-09-15
2002-09-18
15th International Symposium on Industrial Crystallization, September, 15 - 18, Sorrento, Italy
Chianese, A.
In industrial crystallization, fines dissolution is used to improve crystalsize distribution (CSD) properties. Intense fines dissolution may lead to undesirable oscillations. Therefore, a controller design based on a population balance model is proposed. A late lumping approach is used where the controller design is based on an irrational transfer function resulting from the linearized population balance. The resulting irrational controller transfer function is then approximated by a rational one. The effectiveness of the controller is demonstrated in simulations. The proposed feedback control enables the use of high fines dissolution rates and hence the improvement of CSD properties.
No
expertsonly
published
joureview
U.
Vollmer
U.
J.
Raisch
J.
88-900775-0-6
669
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2003
2005-11-07 13:18:28.257855
oai:edoc.mpg.de:347312005-11-1219:91
Article
Regelung der Trittgeschwindigkeit beim Liegedreiradfahren von Querschnittgelähmten
2002
271
278
at - Automatisierungstechnik
6
50
Dieser Beitrag befasst sich mit dem Aufbau und der Regelung von Liegedreirädern für querschnittgelähmte Personen. Der Antrieb erfolgt dabei durch elektrische Stimulation der motorisch gelähmten Beinmuskulatur. Kommerziell erhältliche Dreiräder wurden speziell für diesen Zweck instrumentiert, um sie sowohl stationär in Form eines Ergometers als auch mobil für Freizeitzwecke verwenden zu können. Zur optimalen Regelung der Trittgeschwindigkeit wird in diesem Aufsatz ein neuer Ansatz vorgestellt. Ergebnisse mit querschnittgelähmten Probanden werden präsentiert. - This work deals with the design and feedback control of recumbent tricycles for paraplegic subjects propelled by their paralysed legs using electrical stimulation. Commercially available tricycles were instrumented in such a way that the systems can be either used as a stationary ergometer or as mobile device for recreational use. A new method for optimal cadence control is described. Results with paraplegic subjects are given.
Automatic journal name synchronization
No
expertsonly
published
joureview
T.
Schauer
T.
K. J.
Hunt
K. J.
N.-O.
Negard
N.-O.
M. H.
Fraser
M. H.
W.
Stewart
W.
670
External Affiliations:
Department of Mechanical Engineering, University of Glasgow, Glasgow G12 8QQ, Scotland;
Queen Elizabeth National Spinal Injuries Unit, Southern
General Hospital, Glasgow G51 4TF, Scotland
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2003
2005-11-12 20:08:07.210594
oai:edoc.mpg.de:347322005-11-0719:91
Conference-Paper
Robust nonlinear control of knee-joint angle: A simulation study
Wismar
2002
1.2-3
3. Wismarer Automatisierungssymposium
Wismar, Germany
2002-09-26
2002-09-27
3. Wismarer Automatisierungssymposium
The aim of this work was to design a robust nonlinear controller for the knee-joint angle by means of Functional Electrical Stimulation (FES). It is well known that a good mechanical model of the body segments can be obtained by first principles and simple pendulum tests, while it is hard to obtain a good of the lectrically elicited muscle contractions for control purposes due to time-variant and nonlinear properties of the muscles combined with limited measurements. For this reason only a linear model with uncertainty bounds is identified. A nonlinear control design approach is performed based on Lyapunov techniques, where uncertainty terms in the model, especially in the actuator dynamics, are dominated with the intention to make the controller robust. This design approach is highly attractive as it can easily be extended to multivariate systems with many body segments and muscle groups, and it allows nonlinear models of the muscle contraction dynamics to be incorporated into the control design. A simulation study of the controller is carried out using a physiologically based model of the muscle contraction dynamics as a substitution of the real plant. Robustness and performance of the designed controller, also with respect to the discrete time implementation and an unmodelled time delay are discussed.
No
expertsonly
published
joureview
N.-O.
Negard
N.-O.
T.
Schauer
T.
J.
Raisch
J.
644
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2003
2005-11-07 13:17:51.340405
oai:edoc.mpg.de:347332005-11-0919:91
Conference-Paper
Graybox-modelling of electrically stimulated musculoskeletal systems in paraplegia
Wismar
2002
1.3-1
3. Wismarer Automatisierungssymposium
Wismar, Germany
2002-09-26
2002-09-27
3. Wismarer Automatisierungssymposium
In this paper, a new approach for estimating a nonlinear model of the electrically stimulated quadriceps muscle group under non-isometric conditions is investigated. In order to identify the muscle dynamics (stimulation pulse width-active knee moment relation) from discrete-time angle measurements only, a hybrid model structure is postulated for the shank-quadriceps dynamics. The model consists of a relatively well known time-invariant passive component and an uncertain time-variant active component. Rigid body dynamics, described by the Equation of Motion (EoM), and passive joint properties form the time-variant part. The actuator, i.e. the electrically stimulated muscle group, represents the uncertain time-varying section. A recursive algorithm is outlined for identifying online the stimulated quadriceps muscle group. The algorithm requires EoM and passive joint characteristics to be known a priori. The muscle dynamics represents the product of a continuous-time nonlinear activation dynamics and an nonlinear static contraction function described by a Normalised Radial Basis Function (NRBF) network which has knee-joint angle and angular velocity as input arguments. An Extended Kalman Filter (EKF) approach is chosen to estimate muscle dynamics parameters and to obtain full state estimates of the shank-quadriceps dynamics simultaneously.
No
expertsonly
published
joureview
T.
Schauer
T.
F.
Previdi
F.
N.-O.
Negard
N.-O.
J.
Raisch
J.
643
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2003
2005-11-09 15:15:35.768014
oai:edoc.mpg.de:347342005-11-0719:91
Conference-Paper
Strategic refinements in abstraction based supervisory control of hybrid systems
2002
329
334
6th International Workshop on Discrete Event Systems (WODES'02)
Zaragoza, Spain
2002-10-02
2002-10-04
Proceedings/ 6th International Workshop on Discrete Event Systems
Silva, M.
No
expertsonly
published
joureview
T.
Moor
T.
J. M.
Davoren
J. M.
J.
Raisch
J.
0-7695-1683-1
641
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2003
2005-11-07 13:16:59.656424
oai:edoc.mpg.de:349862005-11-0719:91
Conference-Paper
Hierarchical control in a behavioural framework
Institute of Control Enginering, Technical University of Szczecin
Szczecin, Poland
2002
8th IEEE International Conference on Methods and Models in Automation and Robotics MMAR 2002
Szczecin, Poland
2002-09-02
2002-09-05
Proceedings MMAR 2002
This contribution presents some ideas on the synthesis of hierarchical control systems. Hierarchical control is an attempt to handle complex problems by decomposing them into smaller subproblems and reassembling their solutions in a hierarchical structure. A systematic approach to this topic clearly requires a mathematical guarantee that the resulting system of interacting controller units does indeed solve the underlying complex problem. We will argue that behavioural systems theory represents a neat conceptual framework where this can be achieved.
No
expertsonly
CD-ROM
published
joureview
J.
Raisch
J.
A.
Itigin
A.
T.
Moor
T.
88764-66-7
564
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2003
2005-11-07 13:16:33.194342
oai:edoc.mpg.de:349942005-11-0719:91
Conference-Paper
Sliding-mode control of knee-joint angle: experimental results
Institut Republike Slovenije za rehabilitacijo
Ljubljana
2002
316
318
7th Annual Conference of the International Functional Electrical Stimulation Society
Ljubljana, Slovenia
2002-06-25
2002-06-29
7th Annual Conference of the International Functional Electrical StimulationSociety (IFESS2002)
Karcnik, T.
The aim of this work was to experimentally validate a sliding-mode controller for the problem of knee-joint angle tracking. The robust controller was designed on the assumption that only a simplified mechanical model is available but not a detailed description of the muscle dynamics. Experiments with an intact subject have been successfully carried out. Performance limitations of this control method due to the effects of sampling and muscle time delay are reported.
No
expertsonly
published
joureview
T.
Schauer
T.
W.
Holderbaum
W.
K. J.
Hunt
K. J.
672
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2003
2005-11-07 13:16:03.281268
oai:edoc.mpg.de:349962005-11-0719:91
Conference-Paper
A pilot study of lower-limb FES cycling in paraplegia
Institut Republike Slovenije za rehabilitacijo
Ljubljana
2002
350
352
7th Annual Conference of the International Functional Electrical Stimulation Society
Ljubljana, Slovenia
2002-06-25
2002-06-29
7th Annual Conference of the International Functional Electrical Stimulation Society (IFESS 2002)
Karcnik, T.
The aim of this work was to develop the engineering methods and apparatus for FES cycling, and to achieve regular periods of mobile FES cycling over significant distances with paraplegic subjects. The study utilised a commercial recumbent tricycle, which was instrumented for stimulation control. Three subjects with a complete spinal cord lesion at level T7-T10 were recruited for the study. After four months of participation in the study the subjects were able to cycle outdoors for distances of up to 3km in a single session. The subjects are also able to cycle continuously and reliably on an indoor cycle trainer for periods of up to 1 h. We conclude that mobile FES cycling over useful distances outdoors is a realistic option for the paraplegic population, even with a low intensity training regime. Future work will involve FES cycling exercise tests to document changes in cardio-pulmonary fitness in SCI subjects.
No
expertsonly
published
joureview
K. J.
Hunt
K. J.
T.
Schauer
T.
N.-O.
Negard
N.-O.
M. H.
Fraser
M. H.
W.
Stewart
W.
671
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2003
2005-11-07 13:15:43.025749
oai:edoc.mpg.de:349972005-11-0719:91
Conference-Paper
FES-Cycling with electric motor assist
2002
7
9
FESnet 2002 Conference
Glasgow, Scotland
2002-09-02
2002-09-03
1st FESnet Conference
The aim of this study was to develop and test feedback control strategies for integration of electric motor assist and functional electrical stimulation for paraplegic cycling. An integrated two-loop feedback control strategy is proposed, in which the electric motor is driven to provide feedback control of cycling speed, and the cyclist’s leg power is controlled by automatic variation of stimulation intensity. Representative experimental results are presented for one complete-lesion paraplegic subject. The results show accurate feedback control of: cycle cadence; leg power; and external disturbance rejection. We conclude that the addition of electric motor assist, with an integrated feedback control strategy, can compensate for external disturbances, it can greatly increase the overall power output and thereby significantly extend the range of operation, and it can provide optimal operating conditions for the stimulated muscles.
No
expertsonly
published
joureview
K. J.
Hunt
K. J.
B.
Stone
B.
N.-O.
Negard
N.-O.
T.
Schauer
T.
H. M.
Fraser
H. M.
674
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2003
2005-11-07 13:15:15.7127
oai:edoc.mpg.de:351112005-11-0719:91
Conference-Paper
Discrete approximation and control of high-order nonlinear continuous systems
Barcelona
2002
15th IFAC World Congress on Automatic Control
Barcelona, Spain
2002-07-21
2002-07-26
Proceedings of the 15th IFAC World Congress on Automatic Control
No
expertsonly
CD-ROM
published
joureview
T.
Moor
T.
J.
Raisch
J.
A.
Itigin
A.
551
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2003
2005-11-07 13:14:22.218286
oai:edoc.mpg.de:351122003-07-3019:91oai:edoc.mpg.de:351152005-11-0719:91
Conference-Paper
Think continuous, act discrete: des techniques for continuous systems
Instituto Superior Tecnico
Lissabon
2002
10th Mediterranean Conference on Control and Automation - MED2002
Lissabon, Portugal
2002-07-09
2002-07-12
Proceedings of the 10th Mediterranean Conference on Control and Automation
No
expertsonly
CD-ROM
published
joureview
T.
Moor
T.
J.
Raisch
J.
549
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2003
2005-11-07 13:13:57.150039
oai:edoc.mpg.de:351182005-11-0719:91
InBook
Discrete models for hybrid systems
Springer
Berlin u.a.
2002
67
80
279
Modelling, analysis, and design of hybrid systems
S. Engell et al.
Lecture notes in control and information sciences
S. Engell et al.
This contribution provides an introduction to the topic of discrete models for hybrid systems. It motivates the use of discrete approximations of hybrid or purely continuous dynamics and comments on two complementary approaches. The article explains the core property of any suitable approximation and describes its major implications.
No
expertsonly
published
joureview
J.
Lunze
J.
J.
Raisch
J.
3-540-43812-2
548
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2003
2005-11-07 13:13:38.261612
oai:edoc.mpg.de:624322009-11-1219:91
Article
Η<sub>∞</sub>-control of a continuous crystallizer
2001-08
837
845
Control Engineering Practice
8 (Special issue on Advanced Control of Chemical Processes)
9
Robustly stabilizing control of an open loop oscillatory crystallization process is considered. The crystallizer is described by a popultaion balance model. From this distributed parameter model an irrational transfer function is obtained which has infinitely many poles and thus represents the infinite-dimensional nature of the system. An infinite dimensional Η<sub>∞</sub> controller synthesis method is applied to solve the weighted mixed sensitivity problem for this transfer function. This procedure results in an irrational controller. For practical implementation, the controller needs to be approximated by a rational transfer function. The effectiveness of the controller is demonstrated in simulations.
No
expertsonly
published
joureview
U.
Vollmer
U.
J.
Raisch
J.
523
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2009-11-12 12:38:53.679875
oai:edoc.mpg.de:629712005-11-0719:91
Conference-Paper
Structure discrimination of continuous models for biochemical reaction networks via finite state machines
Piscataway, NJ
2001
138
143
Mexico City, Mexico
2001-09-05
2001-09-07
Proceedings of the 2001 IEEE International Symposium on Intelligent Control ISIC'01
No
expertsonly
published
joureview
C.
Conradi
C.
J.
Stelling
J.
J.
Raisch
J.
0-7803-6722-7
501
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
MPI für Dynamik komplexer technischer Systeme
Systems Biology
2005-11-07 13:12:58.2398
oai:edoc.mpg.de:629722009-11-1219:91
Conference-Paper
Computational advantages of a two-level hybrid control architecture
Piscataway, NJ
2001
358
363
1-5
40th IEEE Conference on Decision and Control (CDC)
Orlando, USA
2001-12-04
2001-12-07
Proceedings of the 40th IEEE Conference on Decision and Control
IEEE Conference on Decision and Control-Proceedings
We investigate a two-level hierarchical architecture for hybrid control. On the top, a discrete supervisory controller acts on quantised measurement information by switching between a finite number of continuous controllers in order to enforce a language inclusion specification. A widely accepted approach to this problem is to first construct a discrete abstraction of the continuous low-level feedback loops and to subsequently resort to DES techniques to solve the high-level synthesis problem. While in principle adopting this approach, we show how to use the structure induced by the low-level controllers to significantly increase computational efficiency of the abstraction procedure. Our methodology enables the system designer to exploit a trade-off between the increase in computational efficiency and the loss in controller flexibility caused by the specific hierarchical structure.
No
expertsonly
published
joureview
T.
Moor
T.
J.
Raisch
J.
J. M.
Davoren
J. M.
0-7803-7063-5
500
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2009-11-12 12:05:58.272759
oai:edoc.mpg.de:629732005-11-0719:91
Conference-Paper
Modular supervisory control of a class of hybrid systems in a behavioural framework
2001
870
875
European Control Conference ECC
Porto, Portugal
2001-09-04
2001-09-07
Proceedings of the European Control Conference ECC2001
No
expertsonly
published
joureview
T.
Moor
T.
J. M.
Davoren
J. M.
J.
Raisch
J.
499
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005-11-07 13:12:11.20437
oai:edoc.mpg.de:630622005-11-0719:91
Conference-Paper
Hierarchical strategies for hybrid process control problems
2001
2534
2539
European Control Conference ECC2001
Porto, Portugal
2001-09-04
2001-09-07
Proceedings of the European Control Conference ECC2001
No
expertsonly
published
joureview
J.
Raisch
J.
A.
Itigin
A.
T.
Moor
T.
498
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005-11-07 13:11:50.603891
oai:edoc.mpg.de:651562012-12-0619:91
Conference-Paper
Approximation of multiple switched flow systems for the purpose of control synthesis
English
IEEE Customer Service
Piscataway, NJ
2000
3604
3609
39th IEEE Conference on decision and control
Sydney, Australia
2000-12-12
2000-12-15
Proceedings of the 39th Conference Decision and Control - Vol. 4
No
expertsonly
published
joureview
T.
Moor
Thomas
J.
Raisch
Jörg
http://ieeexplore.ieee.org/xpl/articleDetails.jsp;jsessionid=c4L3QbnMh6tT2y16n9Hg07bc1TFft9zCKhYmd0RqMC9YRVvJr4YY!-1427562263?arnumber=912266&contentType=Conference+Publications
0-7803-6638-7
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2001
2012-12-06 14:39:22.844433
oai:edoc.mpg.de:651672005-11-0719:91
Conference-Paper
An approach to hybrid control problems based on approximating continuous plant dynamics by nondeterministic automata
International Institute of Informatics and Systems
Orlando
2000
217
222
4th World Multiconference on Systemics, Cybernetics and Informatics
Orlando, USA
2000-07-23
2000-07-26
Proc. SCI2000
Sanchez, B.; Hammel, R.; Soriano, M.; Tiako, P.
This paper explains how the hybrid control problem of synthesizing a discrete control scheme for a continuous plant model can be solved by approximation continuous plant dynamics by nondeterministic finite automata and then applying standard methods from DES (discrete event systems) theory. A necessary condition is that the behaviour of the approximating automaton model contains the behaviour of the underlying continuous plant model. Then, any controller forcing the approximation to obey the specifications will also force the continuous plant model to satisfy the specifications. Approximating accuracy can be adjusted depending on the degree of complexity of the hybrid control problem to be solved. The method is illustrated by an application example from chemical process control, the synthesis of a discrete feedback strategy for the start-up procedure of a distillation column.
No
expertsonly
published
joureview
A.
Itigin
A.
J.
Raisch
J.
117
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005-11-07 13:11:14.162634
oai:edoc.mpg.de:651692005-11-1219:91
Article
Discrete supervisory control of switched linear systems
2000
460
469
at - Automatisierungstechnik
9 special issue on Hybrid Systems I : Modeling and Control
48
This contribution deals with the synthesis of discrete supervisory control for switched linear systems. Via two successive approximation steps, this hybrid control problem is transformed into a purely discrete problem. The latter can then be solved using a slightly modified version of P. J. Ramadge’s and W. M. Wonham’s "supervisory control theory”. By embedding both approximation steps within J. C. Willem’s ”behavioural systems theory”, we can guarantee that any solution of the resulting discrete synthesis problem will also solve the underlying hybrid problem. All algorithms employed within the approximation and the synthesis procedure terminate after a finite number of steps. The approach is illustrated by means of a simple three-plate thermal system.
Automatic journal name synchronization
No
expertsonly
published
joureview
D.
Franke
D.
T.
Moor
T.
J.
Raisch
J.
116
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005-11-12 20:08:07.675649
oai:edoc.mpg.de:652542005-11-0719:91
Conference-Paper
Hierarchical Control of Hybrid Systems
Shaker-Verlag
Aachen
2000
67
72
International conference on automation of mixed processes, hybrid dynamic systems
Dortmund, Germany
2000-09-18
2000-09-19
ADPM 2000 Conference Proceedings
Engell, S.
The topic of this contribution is the synthesis of hierarchical control systems for hybrid problems. We outline a method that is based on a hierarchy of models describing the plant at various levels of abstraction and a decomposition of the overall specification. The proposed method captures several key requirements for hierarchical control: it includes the notion of information aggregation between adjacent control levels; it allows for a combination of continuous and discrete event controllers on various levels of the hierarchy; complexity of the synthesis procedure and the resulting control scheme is considerably reduced when compared to an unstructured (and therefore non-hierarchic) approach; finally, it provides a mathematical guarantee that the specified hierarchical interaction between the different controller levels does indeed solve the overall problem. The method is illustrated by an example from process control, the synthesis of a discrete start-up scheme for a distillation column.
No
expertsonly
published
joureview
J.
Raisch
J.
A.
Itigin
A.
T.
Moor
T.
115
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005-11-07 13:10:18.108223
oai:edoc.mpg.de:652552005-11-0719:91
Conference-Paper
Complex Systems - Simple Models?
Elsevier
Amsterdam u.a.
2000
275
286
International Symposium on Advanced Control of Chemical Processes
Pisa
2000-06-14
2000-06-16
Proceedings ADCHEM 2000
Biegler, L.T.
In this contribution, the relation between the intended purpose of a model and its required degree of accuracy is investigated. It is based on an intuitive definition of accuracy from J. C. Willems’ ”behavioural systems theory”. We outline a procedure that generates a strictly ordered set of abstractions, or approximations, for a given detailed model, where ordering is in the sense of approximation accuracy. It is particularly useful for the purpose of control synthesis: within the set of abstractions, there exists a unique coarsest, i.e. least accurate, model that allows a given specification to be met. The resulting control scheme is guaranteed to ”work properly” for the underlying detailed model. The approach is illustrated by a number of examples from process control.
No
expertsonly
published
joureview
J.
Raisch
J.
114
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005-11-07 13:09:27.933109
oai:edoc.mpg.de:652562005-11-0719:91
Conference-Paper
H<sub>∞</sub> -control of a continuous crystallizer
2000
117
122
International Symposium on Advanced Control of Chemical Processes
Pisa, Italy
ADCHEM2000
Robustly stabilizing control of an open loop oscillatory crystallization process is considered. The crystallizer is described by a population balance model. From this distributed parameter model an irrational transfer function is obtained which has infinitely many poles and thus represents the infinite-dimensional nature of the system. An infinite-dimensional H∞ controller synthesis method is applied to solve the weighted mixed sensitivity problem for this transfer function. This procedure results in an irrational controller. For practical implementation, the controller needs to be approximated by a rational transfer function. The effectiveness of the controller is demonstrated in simulations.
No
expertsonly
published
joureview
U.
Vollmer
U.
J.
Raisch
J.
113
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005-11-07 13:08:59.726693
oai:edoc.mpg.de:664252005-11-0719:91
Conference-Paper
Systems and Control Theory at MPI Magdeburg
2000
3
8
Zielona-Gora
Polish-German Symposium on Science, Research and Education
Korbicz, J.
This contribution provides an overview of various research projects related to systems and control theory at the Max-Planck-Institut für Dynamik komplexer technischer Systeme, Magdeburg. Four application projects are discussed in some detail: feedback control of crystallization processes, automatic start-up of chemical processes, finite automata as models of biological systems, and discrete event methods in transportation systems.
No
expertsonly
published
joureview
J.
Raisch
J.
U.
Vollmer
U.
E.
Mayer
E.
C.
Conradi
C.
124
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005-11-07 13:08:41.312145
oai:edoc.mpg.de:664262013-02-0819:91
Article
Discrete abstractions of continuous systems : an input/output point of view
2000
6
29
Mathematical and Computer Modelling of Dynamical Systems
1
6
This contribution proposes a hierarchy of discrete abstractions for a given continuous model. It adopts an input/output point of view, and starts from the continuous system behaviour B-c (i.e.,the set of all pairs of input and output signals which are compatible with the continuous model equations). The first step is to construct a sequence of behaviours B-l, l=0,1,..., such that B-0 superset of or equal to B-l superset of or equal to ... superset of or equal to B-c. In a second step, non deterministic Moore automata A(l) are generated as minimal realizations for the behaviours B-l. Hence, the continuous base system and its discrete abstractions A(l) form a totally ordered set of models, where ordering is in the sense of set inclusion of model behaviours or, equivalently, in terms of approximation accuracy. Within this set, there exists a uniquely defined "coarsest" (and therefore least complex) model which allows a given set of specifications to been forced by discrete feedback. The ordering property implies that this discrete feedback also forces the continuous base system to obey the specifications.
No
expertsonly
published
joureview
J.
Raisch
J.
http://dx.doi.org/10.1076/1387-3954(200003)6:1;1-Q;FT006
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2013-02-08 11:51:03.648975
oai:edoc.mpg.de:664272005-11-0719:91
Conference-Paper
Synthesis of hierarchical process control systems based on sequential aggregations
ARGESIM
Vienna
2000
385
389
3rd Mathmod IMACS Symposium on Mathematical Modelling
Vienna, Austria
2000-02-02
2000-02-04
Proceedings 3rd Mathmod IMACS Symposium on Mathematical Modelling
Troch, I. et al.
This contribution outlines a formal synthesis method for hierarchical control systems. It is based on a hierarchy of models describing the plant at various levels of abstraction and a decomposition of the overall specification. The proposed method captures several key requirements: it includes the notion of information aggregation between adjacent control levels; it allows for a combination of continuous and discrete event controllers on various levels of the hierarchy; complexity of the synthesis procedure and the resulting control scheme is considerably reduced when compared to an unstructured (and therefore non-hierarchic) approach; finally, it provides a mathematical guarantee that the specified hierarchical interaction between the different controller levels does indeed solve the overall problem. The method is illustrated by an example from process control, water level regulation in a two-tank laboratory experiment.
No
expertsonly
published
joureview
J.
Raisch
J.
A.
Itigin
A.
3-901608-15-X
60
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005-11-07 13:07:46.453077
oai:edoc.mpg.de:664302005-11-0719:91
Conference-Paper
Automatic generation of switching start-up schemes for chemical processes
Pergamon Pr.
Oxford u.a.
2000
619
624
Florence, Italy
2000-07-05
2000-07-10
Escape 10 - 10th European Symposium on Computer Aided Process Engineering
Pierucci, S.
This paper explains how modern techniques from the areas of hybrid and discrete event systems theory can be used to automatize the start-up procedure of chemical processes. As an application example we synthesize a discrete feedback strategy for the automatic start-up of a distillation column.
No
expertsonly
published
joureview
E.
Klein
E.
A.
Itigin
A.
J.
Raisch
J.
A.
Kienle
A.
112
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
MPI für Dynamik komplexer technischer Systeme
Process Synthesis and Process Dynamics
2005-11-07 13:07:14.794838
oai:edoc.mpg.de:1120132005-11-0719:91
InBook
Approximating Automata and Discrete Control for Continuous Systems : Two Examples from Process Control
English
Springer
Berlin
1999
279
303
1567
Hybrid Systems V
Antsaklis, P.; Kohn, W.; Lemmon, M.; Nerode, A.; Sastry, S.
Lecture Notes in Computer Science
A standard problem in hybrid control systems theory is to design discrete, or symbolic, feedback for a given continuous plant. When specifications are discrete, this problem can be solved by first approximating the continuous plant model by a (nondeterministic) automaton, and then synthesizing discrete (supervisory) control for the automaton. A necessary condition is that the approximation behaviour contains the behaviour of the underlying continuous plant model. Then, any controller forcing the approximation to obey the specifications will also force the continuous model to satisfy the specifications. We use a version of this approach which allows adjustment of approximation accuracy to address two simple process control problems: supervisory control of a three tank laboratory experiment and safety enforcement for an evaporator. In both cases, the entire design process is carried through: we first determine a suitable abstraction, compute the minimally restrictive supervisor, and then present examples for closed loop trajectories.
No
expertsonly
published
joureview
J.
Raisch
J.
E.
Klein
E.
S.
O'Young
S.
C.
Meder
C.
A.
Itigin
A.
39
3-540-65643-X
Institut für Systemdynamik und Regelungstechnik, Universität Stuttgart, Pfaffenwaldring 9, D-70550 Stuttgart;
Faculty of Engineering and Applied Science, Memorial University of Newfoundland, St. John's, Newfoundland, Candada A1B 3X5
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005-11-07 13:06:57.557027
oai:edoc.mpg.de:1120142009-11-1219:91
Article
Supervisory control of hybrid systems within a behavioural framework
English
1999-10-26
157
166
Systems & Control Letters
3 special issue : Hybrid Control Systems
38
This contribution addresses the synthesis of supervisory control for hybrid systems Sigma with discrete external signals. Such systems are in general neither l-complete nor can they be represented by finite state machines. We find an l-complete approximation (abstraction) Sigma (l) for Sigma, represent it by a finite state machine, and investigate the control problem for the approximation. If a solution exists, we synthesize the maximally permissive supervisor for Sigma (l). We show that it also solves the control problem for the hybrid system Sigma. If no solution exists, approximation accuracy can be increased by computing a k-complete abstraction Sigma (k), k > l. This paper is entirely set within the framework of Willems’ behavioural systems theory.
No
expertsonly
published
joureview
T.
Moor
T.
J.
Raisch
J.
38
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2009-11-12 12:41:11.413794
oai:edoc.mpg.de:1120162005-11-1219:91
Article
Zwei Wege zur Modellierung des qualitativen Verhaltens dynamischer Systeme
German
1999
187
198
at-Automatisierungstechnik
5
47
In diesem Beitrag werden zwei komplementäre Ansätze zur Bestimmung qualitativer Abstraktionen für gegebene wertekontinuierliche Systeme vorgestellt. Beide Ansätze verwenden nichtdeterministische Automaten als qualitative Approximationen; die Zustandsmengen und die Transitionsstrukturen der Automaten unterscheiden sich aber fundamental: In einem Fall werden sie über die qualitativen Ein- und Ausgangssignale des zu approximierenden Systems definiert, im anderen Fall durch direkte Partitionierung seines Zustandsraumes. Trotz dieser Unterschiede weisen beide Methoden auch eine Reihe wichtiger Gemeinsamkeiten auf: Sie garantieren, dass das Verhalten der diskreten Approximation das Verhalten des kontinuierlichen Systems enthält, und sie erlauben, auf einfache Weise zwischen Genauigkeit und Komplexität der diskreten Approximation abzuwägen.
This contribution deals with discrete, or qualitative, abstractions of continuous dynamic systems. Two complementary approaches are presented. Nondeterministic automata serve as discrete approximations in both cases. State set and transition structure are fundamentally different, however: they are either defined via qualitative input and output signals of the continuous system, or by direct partitioning of the continuous state space. Despite these differences, both methods share a number of important properties: they guarantee that the input/output behaviour of the continuous system is covered by the approximation behaviour, and they allow for trading off approximation accuracy versus complexity.
Automatic journal name synchronization
No
expertsonly
published
joureview
G.
Lichtenberg
G.
J.
Lunze
J.
J.
Raisch
J.
34
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005-11-12 20:08:07.824047
oai:edoc.mpg.de:1167592005-11-0719:91
Conference-Paper
A hierarchy of discrete abstractions for a hybrid plant
English
Presses Universitaires de Reims
1998
55
62
ADPM`98
Reims
Proc. 3eme Conference Internationale sur l'Automatisation des Processus Mixtes (ADPM'98) : Les Systemes Dynamiques Hybrides
Zaytoon, J.
This contribution proposes a hierarchy of discrete abstractions for a given hybrid or continuous system with quantized measurements and symbolic control inputs. The continuous (or hybrid) base system and its discrete abstractions form a totally ordered set of models; ordering is in the sense of set inclusion of model behaviours or, equivalently, in terms of approximation accuracy. As, by construction, the behaviour of the base system is a subset of the behaviours of all abstractions in the hierarchy, any of these abstractions can be used for supervisory control synthesis: if a controller forces the behaviour of any abstraction to live within a specified set, it will also make the underlying continuous or hybrid system obey the specifications.
No
expertsonly
published
joureview
J.
Raisch
J.
16
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005-11-07 13:05:51.29606
oai:edoc.mpg.de:1167602005-11-0719:91
Conference-Paper
Estimating reachable states of hybrid systems via l-complete approximations
English
IAAMSAD and the South African Branch of the Academy of Nonlinear Sciences
1998
30
34
International Conference on Systems, Signals, Control, Computers (SSCC'98)
Durban, SA
1998-09-22
1998-09-24
Proc. International Conference on Systems, Signals, Control, Computers (SSCC'98) : Vol. 3
Bajic, V. B.
This contribution treats the estimation of reachable states for timeinvariant hybrid systems. Using the framework provided by Willems behavioural systems theory, we suggest a method based on l-complete approximations, which can be realized by finite statemachines. The approximating behaviour is a superset of the original behaviour. Hence, the estimate of reachable states based on an l-complete approximation can be shown to be conservative, i.e. the exact set of reachable states is guaranteed to be contained in the estimate. Because of this property our method is adequate for verification tasks where the state variable has to remain within a certain specification.
No
expertsonly
published
joureview
T.
Moor
T.
J.
Raisch
J.
15
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005-11-07 13:05:30.281808
oai:edoc.mpg.de:1167612005-11-0719:91
Conference-Paper
Supervisory control of hybrid systems via l-complete approximations
English
IEE
1998
426
431
WODES `98
New York
1998-08-26
1998-08-28
Proceedings / WODES '98 - International Workshop on Discrete Event Systems
A. Giua et al.
This contribution addresses the synthesis of supervisory control for hybrid systems with discrete external signals. Such systems are in general neither l-complete nor can they be represented by finite state machines. We find an l-complete approximation (abstraction) Σ<sub>l</sub> for Σ, represent it by a finite state machine, and investigate the control problem for the approximation. If a solution exists, we synthesize the maximally permissive supervisor for Σ<sub>l</sub>. We show that it also solves the control problem for the hybrid system Σ. If no solution exists, approximation accuracy can be increased by computing a k-complete abstraction Σ<sub>k</sub>, k > l. This paper is entirely set within the framework of Willems' behavioural systems theory.
No
expertsonly
published
joureview
T.
Moor
T.
J.
Raisch
J.
S. D.
O'Young
S. D.
14
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005-11-07 13:05:09.022673
oai:edoc.mpg.de:1167692005-11-0719:91
Conference-Paper
Safety enforcement in process control systems : a batch evaporator example
English
IEE
1998
327
333
WODES `98
New York, USA
1998
Proc. WODES '98 - International Workshop on Discrete Event Systems
A. Giua et al.
This contribution presents an approximation based safety enforcementscheme for a batch evaporator benchmark problem. Typically, safety enforcement in chemical engineering is a hybrid problem: the plantis (or parts of it are) represented by a continuous model, whereas the safety enforcing device is usually based on discrete intervention rules. Approximating the plant model by an automaton converts this problem into a purely discrete one, provided two conditions hold: the approximation behaviour must contain the continuous model behaviour; then, any control system guaranteeing safe operation for the discrete approximation will also enforce safety for the underlying continuous or hybrid model; the approximation must be "accurate enough" ("its behaviour small enough"), otherwise an appropriate safety enforcement scheme may not exist.
No
expertsonly
published
joureview
E.
Klein
E.
J.
Raisch
J.
8
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005-11-07 13:04:37.393163
oai:edoc.mpg.de:1244932009-11-1219:91
Conference-Paper
Robust nonlinear control of single limb movement
English
2003
317
322
5th IFAC Symposium on Modelling and Control in Biomedical Systems
Melbourne, Australia
2003-08-21
2003-08-23
Proc. 5th IFAC Symposium on Modelling and Control in Biomedical Systems
The aim of this work was to design a robust nonlinear controller for the kneejoint angle by means of Functional Electrical Stimulation (FES). It is well known that a good mechanical model of the body segments can be obtained by first principles and simple pendulum tests, while it is hard to obtain a good model of the electrically elicited muscle contractions for control purposes due to time-variant and nonlinear properties of the muscles combined with limited measurements. For this reason the muscle activation dynamics are only modeled as a first order linear system. To describe how the muscle contraction depends on joint angle and velocity a simplified linear static function was introduced. Based on this model a nonlinear control design approach is performed applying the back-stepping methodology. This design approach is highly attractive as it can easily be extended to multivariable systems with many body segments and muscle groups, and it allows nonlinear muscle models to be incorporated into the control design. A simulation study of the controller is carried out using a physiologically based model of the neuro-musculoskeletal system as a substitution of the real plant. Robustness and performance of the designed controller, also with respect to the discrete-time implementation and an unmodeled time delay are discussed.
No
expertsonly
published
joureview
N.-O.
Negard
N.-O.
T.
Schauer
T.
J.
Raisch
J.
829
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2004
2009-11-12 11:01:51.500982
oai:edoc.mpg.de:1244962005-11-0719:91
Conference-Paper
Online identification of the electrically stimulated quadriceps muscle group
English
2003
467
472
5th IFAC Symposium on Modelling and Control in Biomedical Systems
Melbourne, Australia
2003-08-21
2003-08-23
Proc. 5th IFAC Symposium on Modelling and Control in Biomedical Systems
In this paper, a new approach for estimating a nonlinear model of the electrically stimulated quadriceps muscle group under non-isometric conditions is investigated. In order to identify the muscle dynamics (stimulation pulse with-active knee moment relation) from discrete-time angle measurements only, a hybrid model structure is postulated for the shank-quadriceps dynamics. The model consists of a relatively well known time-invariant passive component and an uncertain time-variant active component. Rigid body dynamics, described by the Equation of Motion (EoM), and passive joint properties form the time-invariant part. The actuator, i.e. the electrically stimulated muscle group, represents the uncertain time-varying section. A recursive algorithm is outlined for identifying online the stimulated quadriceps muscle group. The algorithm requires EoM and passive joint characteristics to be known a priori. The muscle dynamics represent the product of a continuous-time nonlinear activation dynamics and a nonlinear static contraction function described bya Normalised Radial Basis Function (NRBF) network which has knee-joint angle and angular velocity as input arguments. An Extended Kalman Filter (EKF) approach is chosen to estimate muscle dynamics parameters and to obtain full state estimates of the shank quadriceps dynamics simultaneously.
No
expertsonly
published
joureview
T.
Schauer
T.
F.
Previdi
F.
K. J.
Hunt
K. J.
N.-O.
Negard
N.-O.
E.
Ferchland
E.
J.
Raisch
J.
828
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2004
2005-11-07 13:03:20.133287
oai:edoc.mpg.de:1245242005-11-0719:91
Conference-Paper
Hybrid control of a cart-pendulum system with restrictions on the travel
English
2003
1231
1235
PHYSCON 2003 - International Conference Physics and Control
Saint-Petersburg, Russia
2003-08-20
2003-08-22
Proc. PHYSCON 2003 - International Conference Physics and Control
A globally stabilizing controller for a cart-pendulum system is developed. It is shown that the use of hybrid methods can significantly simplify the procedure of control synthesis in the presence of restrictions on the control signal and on the length of travel. A special feature of the proposed approach is that restrictions are embedded into the control algorithm.
No
expertsonly
published
joureview
D.
Gromov
D.
J.
Raisch
J.
821
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2004
2005-11-07 13:02:34.883744
oai:edoc.mpg.de:1245252005-11-0719:91
Conference-Paper
Admissibility criteria for a hierarchical design of hybrid control systems
English
2003
389
394
ADHS03 - IFAC, Conference on Analysis and Design of Hybrid Systems
St. Malo, France
2003-06-16
2003-06-18
Proc. ADHS03 - IFAC, Conference on Analysis and Design of Hybrid Systems
Many application relevant hybrid control problems can be decomposed in a hierarchy of control objectives, where each objective refers to a particular time scale and to a particular level of measurement aggregation. Common engineering practice exploits the hierarchical structure to find ad-hoc solutions to hybrid control problems that are far beyond the computational limitations of known methods for the systematic design of hybrid systems. In this paper, we extend a known design method by additional layers between plant and supervisor to represent a control objectives on a hierarchy of time scales and measurement aggregation. We provide a systematic approach that (i) benefits from a wide range of hierarchical decompositions provided by engineering intuition and that (ii) allows for a formal proof that the composition of the individual layers indeed forms an overall solution.
No
expertsonly
published
joureview
T.
Moor
T.
J.
Raisch
J.
J. M.
Davoren
J. M.
820
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2004
2005-11-07 13:02:05.445463
oai:edoc.mpg.de:1245462005-11-0719:91
Conference-Paper
A two-level hybrid control strategy for the start-up of a coupled distillation plant
English
2003
ECC2003 - European Control Conference 2003
Cambridge, UK
2003-09-01
2003-09-04
Proc. ECC2003 - European Control Conference 2003
In this contribution, we suggest an efficient hierarchical hybrid control scheme for the start-up of a distillation plant consisting of two coupled distillation columns. The overall control task is decomposed into a set of low-level and high-level subtasks. Each of these subtasks can be solved with much less effort than the original specifications. Low-level tasks are solved by means of continuous feedback, whereas the high-level task is solved by a discrete supervisory controller operating on quantised measurement information and switching between continuous low-level controllers. The approach presented is set within a behavioural framework; it guarantees that the chosen interaction of low-level and high-level control does indeed enforce the specifications.
No
expertsonly
published
joureview
A.
Itigin
A.
J.
Raisch
J.
T.
Moor
T.
A.
Kienle
A.
824
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
MPI für Dynamik komplexer technischer Systeme
Process Synthesis and Process Dynamics
2004
2005-11-07 13:01:22.747102
oai:edoc.mpg.de:1247912009-11-1219:91
Article
Modeling, simulation and stabilizing H<sub>∞</sub> control of an oscillating continuous crystallizer with fines dissolution
English
2003-08
3473
3488
Chemical Engineering Science
15
58
In this contribution, a detailed model for a continuous crystallizer with fines dissolution is derived. The main focus of this article is the identification of physical reasons, responsible for the oscillations of these crystallization plants. In contrast to many other crystallization models used in literature for the investigation of such limit cycles, detailed kinetic expressions for crystal growth and attrition, as well as for the separation of fines in the annular zone, are incorporated. By dynamical simulations of the model and by comparison with measured data, an undesired dissolution of larger crystals can be identified as a possible reason for the appearance of sustained oscillations. Finally, a stabilizing feedback controller is designed using H<sub>∞</sub> theory. It is demonstrated in simulations that this controller enables stable operation of the crystallizer even at a high fines dissolution rate.
No
expertsonly
published
joureview
S.
Motz
S.
A.
Mitrovic
A.
E. D.
Gilles
E. D.
U.
Vollmer
U.
J.
Raisch
J.
809 10/03
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
MPI für Dynamik komplexer technischer Systeme
Systems Biology
2004
2009-11-12 12:02:16.89682
oai:edoc.mpg.de:1247922009-11-1219:91
Article
Control of batch cooling crystallization processes based on orbital flatness
English
2003-11-10
1635
1643
International Journal of Control
16
76
In this article it is shown that moment models for batch crystallization processes are orbitally flat. The state dependent time scaling involved in orbital flatness is physically meaningful and leads to a notion of time that is very natural for the crystallization process. A procedure is presented to check if a desired final crystal size distribution (CSD) is achievable and to compute the temporal temperature profile that produces this desired CSD. Furthermore, the problem of dynamic optimization of the crystallizer operation is reformulated based on the system’s flatness property such that the differential equations are eliminated from the optimization problem. In a case study the effectiveness of this optimization is demonstrated.
No
expertsonly
published
joureview
U.
Vollmer
U.
J.
Raisch
J.
808 9/03
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2004
2009-11-12 12:00:50.390902
oai:edoc.mpg.de:1250732005-11-0719:91
Conference-Paper
Time-optimal scheduling for high throughput screening processes using cyclic discrete event models
English
ARGESIM, ARGE Simulation News, Univ. of Technology Vienna
Vienna
2003
1349
1356
4th IMACS Symposium on Mathematical Modelling
Vienna, Austria
2003-02-05
2003-02-07
Proceedings 4th MATHMOD ; Vol. 2
Troch, I.; Breitenecker, F.
ARGESIM-Reports
A method for solving the scheduling problem for a class of cyclic systems with respect to throughput maximization is presented. Based on discrete events systems (DES) modeling, the scheduling problem can be formulated as a mixed integer linear optimization problem. The method is applied to High Throughput Screening (HTS) problems and illustrated by means of a small example.
No
expertsonly
published
joureview
E.
Mayer
E.
J.
Raisch
J.
3-901608-24-9
779
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2004
2005-11-07 12:56:01.703684
oai:edoc.mpg.de:1736932005-11-0719:91
Conference-Paper
Throughput-optimal scheduling for cyclically repeated processes
English
2003
871
876
MMAR 2003 - 9th IEEE International Conference on Methods and Models in Automation and Robotics
Miedzyzdroje, Poland
2003-08-25
2003-08-28
Proc. MMAR 2003 - 9th IEEE International Conference on Methods and Models in Automation and Robotics
This contribution deals with cyclically repeated processes where the same job or the same group of jobs (batch) has to be executed a large number of times, each batch following exactly the same time scheme. Each activity of the single batch takes place on one of the plant’s resources, which all have capacity one. It is assumed that a strictly cyclic operation mode is used, i.e. the time offset between the starting times of two consecutive batches is always constant. Normally, batches are nested, i.e. the next batch will start before the previous one is finished. The combination of these requirements constitutes a specific scheduling problem. Based on a discrete event model for cyclically repeated processes, the constraints for this scheduling problem are derived. In order to achive maximium throughput, cycle time is taken as the objective function for the resulting optimization problem. The scheduling problem can then be cast into a mixed integer linear program (MILP). Additionally, some extensions, such as time window constraints, switching times, and buffers with restricted capacity are presented. The method has been applied to high throughput screening (HTS) plants.
No
expertsonly
published
joureview
E.
Mayer
E.
J.
Raisch
J.
823
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2004
2005-11-07 12:56:56.443925
oai:edoc.mpg.de:2004962005-11-0719:91
Conference-Paper
Discrete control of switched linear systems
English
1999
5th European Control Conference ECC´99
Proceedings of the 5th European Control Conference ECC'99
Switched linear systems exhibit a continuous state evolving along the continuous flow of time according to linear time in variant differential equations. Furthermore, a discrete interface to the environment is provided, acting on input signals by switching between a finite number of differential equations and generating output signals when the continuous state crosses certain boundaries. We suggest a conservative approximation scheme based on sampling, state partitioning and l-completion realized by a finite past induced state machine. The control problem is investigated on the approximation level. If a solution exists, it also solves the problem for the switched linear system.
No
expertsonly
CD-ROM
published
joureview
T.
Moor
T.
J.
Raisch
J.
37
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005-11-07 12:54:38.010358
oai:edoc.mpg.de:2076942012-04-1219:91
Article
Control Strategies for Integration of Electric Motor Assist and Functional Electrical Stimulation in Paraplegic Cycling : Utility for Exercise Testing and Mobile Cycling
English
2004
89
101
IEEE Transactions on Neural Systems and Rehabilitation Engineering
12
Aim: The aim of this study was to investigate feedback control strategies for integration of electric motor assist and functional electrical stimulation for paraplegic cycling, with particular focus on development of a testbed for exercise testing in FES cycling, in which both cycling cadence and workrate are simultaneously well controlled and contemporary physiological measures of exercise performance derived. A second aim was to investigate the possible benefits of the approach for mobile, recreational cycling.
Methods: A recumbent tricycle with an auxiliary electric motor is used, which is adapted for paraplegic users, and instrumented for stimulation control. We propose a novel integrated control strategy which simultaneously provides feedback control of leg power output (via automatic adjustment of stimulation intensity) and cycling cadence (via electric motor control). Both loops are designed using system identification and analytical (model-based) feedback design methods. Ventilatory and pulmonary gas exchange response profiles are derived using aportable system for real-time breath-by-breath acquisition.
Results: We provide indicative results from one paraplegic subject in which a series of feedback-control tests illustrate accurate control of cycling cadence, leg power control, and external disturbance rejection. We also provide physiological response profiles from a submaximal exercise step test and a maximal incremental exercise test, as facilitated by the control strategy.
Conclusion: The integrated control strategy is effective in facilitating exercise testing under conditions of well-controlled cadence and power output. Our control approach significantly extends the achievable workrate range and enhances exercise-test sensitivity for FES cycling, thus allowing a more stringent characterisation of physiological response profiles and estimation of key parameters of aerobic function. We further conclude that the control approach can significantly improve the overall performance of mobile recreational cycling.
No
expertsonly
published
joureview
K. J.
Hunt
K. J.
B.
Stone
B.
N.-O.
Negard
N.-O.
T.
Schauer
T.
M. H.
Fraser
M. H.
A. J.
Cathcart
A. J.
C.
Ferrario
C.
S. A.
Ward
S. A.
S.
Grant
S.
37/04
http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=01273527
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005
2012-04-12 09:40:33.411214
oai:edoc.mpg.de:2076962005-11-0719:91
Article
Data-Driven Control Design for Neuroprotheses : A Virtual Reference Feedback Tuning (VRFT) Approach
English
2004
176
182
IEEE Transactions on Control Systems Technology
12
This paper deals with design of feedback controllers for knee joint movement of paraplegics using functional electrical stimulation (FES) of the paralyzed quadriceps muscle group. The controller design approach, virtual reference feedback tuning (VRFT), is directly based on open loop measured data and fits the controller in such a way that the closed-loop meets a model reference objective. The use of this strategy, avoiding the modeling step, significantly reduces the time required for controller design and considerably simplifies the rehabilitation protocols. Linear and nonlinear controllers have been designed and experimentally tested, preliminarily on a healthy subject and finally on a paraplegic patient. Linear controller is effective when applied on small range of knee joint angle. The design of a nonlinear controller allows better performances. It is also shown that the control design is effective in tracking assigned knee angle trajectories and rejecting disturbances.
No
expertsonly
published
joureview
F.
Previdi
F.
T.
Schauer
T.
S. M.
Savaresi
S. M.
K. J.
Hunt
K. J.
1018 35/04
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005
2005-11-07 12:53:20.609432
oai:edoc.mpg.de:2078692012-04-1119:91
Conference-Paper
Detection and Filtering of EMG for Assessing Voluntary Muscle Activity during FES
English
2004
185
187
9th Annual Conference of the International Functional Electrical Stimulation Society and 2nd Conference of FESnet
Bournemouth, United Kingdom
2004-09-06
2004-09-09
Proceedings of International Functional Electrical Stimulation Society - FESnet 2004
Wood, D.; Taylor, P.
The aim of this work was to develop a laboratory set-up to assess voluntary activity of up to 4 different muscles which undergo simultaneously an artificial electrical stimulation. Voluntary muscle activity is detected from surface EMG. To eliminate stimulation artefacts, the EMG amplifier is automatically muted during stimulation pulses. The measured EMG between stimulation pulses is then considered as superposition of a lower frequency component (m-wave, muscle artefact) caused by electrical stimulation and a higher frequency component caused by voluntary muscle contractions. The latter part is extracted using a digital high pass filter. The entire set-up was realised by using commercially available hardware, which is controlled in soft real-time from a PC running Matlab/SimulinkTM under standard Linux.
No
expertsonly
published
joureview
T.
Schauer
T.
R. C.
Salbert
R. C.
N.-O.
Negard
N.-O.
J.
Raisch
J.
1-85899-191-9
996
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005
2012-04-11 15:44:09.614219
oai:edoc.mpg.de:2079522009-11-1219:91
Article
Time-optimal scheduling for high throughput screening processes using cyclic discrete event models
English
2004-06-29
181
191
Mathematics and Computers in Simulation
2-3
66
A method for solving the scheduling problem for a class of cyclic systems with respect to throughput maximization is presented. Based on discrete events systems (DES) modeling, the scheduling problem can be formulated as a mixed integer linear optimization problem. The method is applied to High Throughput Screening (HTS) problems and illustrated by means of a small example.
No
expertsonly
published
joureview
E.
Mayer
E.
J.
Raisch
J.
952 17/04
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005
2009-11-12 11:55:30.696298
oai:edoc.mpg.de:2079572005-11-0719:91
Conference-Paper
Optimal hybrid control for switched affine systems under safety and liveness constraints
English
2004
35
40
CACSD '04
Taipei, Taiwan
2004-09-02
CACSD '04 : IEEE International Conference on Computer Aided Control Systems Design
In this contribution, we propose a two-level hierarchical control strategy to solve the problem of minimising a cost function for a switched affine system under safety and liveness constraints. The constraints are handled on the lower level by a discrete supervisory controller designed using l-complete approximation. Its action can be represented as state invariants added to the plant model. In a bottom-up strategy, we can then synthesise a high-level controller, which computes a set of switching tables using the remaining degrees of freedom to optimise a quadratic performance index.
No
expertsonly
published
joureview
D.
Corona
D.
C.
Seatzu
C.
A.
Giua
A.
D.
Gromov
D.
E.
Mayer
E.
J.
Raisch
J.
949
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005
2005-11-07 12:51:05.894654
oai:edoc.mpg.de:2079582005-11-0719:91
Conference-Paper
Modelling and performance evaluation for DES : A Max-Plus Algebra toolbox for Matlab
English
2004
270
275
ICINCO 2004 : International Conference on Informatics in Control, Automation and Robotics 2004
Setubal, Portugal
2004-08-25
2004-08-28
ICINCO 2004 : International Conference on Informatics in Control, Automation and Robotics 2004
This paper discusses the usefulness of (max; +) algebra as a mathematical modelling framework for discrete event systems (DESs). A Max-Plus Algebra Toolbox developed at Lehrstuhl für Systemtheorie technischer Prozesse is presented. This software package is a set of functions to take advantage of the (max; +) algebra in the Matlab environment for rapid prototyping, design, and analysis of DESs. An overview of the modelling and analysis concepts of the (max; +) algebra approach for DES is given. Application examples are provided in the final part of the paper to illustrate the potential of this approach and the toolbox.
No
expertsonly
published
joureview
J.
Stanczyk
J.
E.
Mayer
E.
J.
Raisch
J.
948
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005
2005-11-07 12:50:13.446492
oai:edoc.mpg.de:2079592005-11-0719:91
Conference-Paper
A novel hierarchical control architecture for a class of discrete-event systems
English
2004
415
420
International Workshop on Discrete Event Systems
Reims, France
2004-09-22
2004-09-24
Proc. WODES 2004 7th IFAC Workshop on Discrete Event Systems
This paper proposes a novel hierarchical control architecture for a class of discrete-event systems. Under the proposed control scheme, a max-plus algebra model is introduced on the upper level to provide an optimal online plan. On the lower (implementation) level, min-plus algebra is used to solve cooperation problems between sub-plants as well as problems caused by unexpected events. A simple rail traffic example is given to show the effectiveness of the idea.
No
expertsonly
published
joureview
D.
Li
D.
E.
Mayer
E.
J.
Raisch
J.
950
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005
2005-11-07 12:41:50.370419
oai:edoc.mpg.de:2080712005-11-0719:91
Conference-Paper
Feedforward control of batch crystallizers : an approach based on orbital flatness
English
Hong Kong
2004
489
494
ADCHEM : 7th International Symposium on Advanced Control of Chemical Processes
Hong-Kong
2004-01-11
2004-01-14
ADCHEM 2003 : 7th International Symposium on Advanced Control of Chemical Processes - Preprints; Vol. 1
Allgöwer, Frank; Gao, Furong
This contribution addresses the problem of feedforward control design for batch crystallisers based on moment models. Moment models, which are standard in the crystallisation literature, are shown to be orbitally flat, i.e. they are flat after an appropriate time scaling. The reciprocal of the crystal growth rate serves as the time scaling function such that a new notion of 'time' is defined by the increase in crystal length. For any desired final crystal size distribution (CSD) which is compatible with the crystallisier model it is possible, exploiting flatness, to analytically compute the corresponding temperature trajectory.
No
expertsonly
published
joureview
U.
Vollmer
U.
J.
Raisch
J.
826
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005-11-07 11:28:22.146859
oai:edoc.mpg.de:2082392005-11-0719:91
Conference-Paper
Modelling and optimization for high-through-put-screening systems
English
Hong Kong
2004
513
518
ADCHEM2003 : International Symposium on Advanced Control of Chemical Processes
Hong-Kong
2004-01-11
2004-01-14
ADCHEM 2003 : 7th International Symposium on Advanced Control of Chemical Processes - Preprints; Vol. 1
Allgöwer, Frank; Gao, Furong
The problem of cyclic scheduling under the requirement of throughput maximization is considered for a special class of cyclically repeated batch processes. All batches have to follow an identical time scheme. The same resource may be visited more than once by the same batch and time window constraints may be stated by the user. It is shown that the cyclic scheduling problem can be transformed into a mixed integer linear optimization problem. The method's application to High-Throughput-Screening processes is demonstrated.
No
expertsonly
published
joureview
E.
Mayer
E.
J.
Raisch
J.
825
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005-11-07 11:27:22.364768
oai:edoc.mpg.de:2082752012-03-0119:91
Conference-Paper
Step length estimation of gait by means of inertial sensors
German
Homburg-Saar
2005
59
60
5. Workshop "Automatisierungstechnische Methoden und Systeme in der Medizin"
Saarbrücken, Germany
2004-10-15
2004-10-16
Automed 5. Workshop 2004
Im Rahmen dieser Arbeit ist die Möglichkeit des Einsatzes von Inertialsensoren für die Regelung der Funktionellen Elektrischen Stimulation (FES) beim Gangtraining von Schlaganfallpatienten untersucht worden. Mittels der Miniatur-Inertialsensoren werden die Schrittlänge und -höhe während des Ganges bestimmt. Diese Größen sollen später durch gezielte Anpassung der Elektrostimulation beeinflusst werden. Die verwendeten kommerziellen Inertialsensoren bestehen aus 3 Akzelerometer und 3 Gyroskopen welche in 3 zueinander orthogonalen Richtungen montiert sind. Zur Schätzung der Sensorlage wurde ein indirekter Kalman-Filter entworfen, welcher die Orientierung des Sensors in Bezug auf ein globales Koordinatensystem schätzt. Unter der Annahme, dass keine Kräfte auf den Sensor wirken, werden neben den Winkelraten die Beschleunigungsmessungen zur Berechnung der Sensorlage verwendet. Unter Zuhilfenahme der geschätzten Sensorlage können die Raumkurve des Sensors und somit die Schrittlänge und -höhe offline durch Doppelintegration der Beschleunigungen in einem globalen Koordinatensystem ermittelt werden. Konstante systematische Messfehler werden über Randbedingungen bei der Integration ermittelt und eliminiert. Somit kann eine starke Drift in der Positionsschätzung vermieden werden.
No
expertsonly
published
joureview
N.-O.
Negard
N.-O.
T.
Schauer
T.
J.
Raisch
J.
997
3-00-013509-X
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2006
2012-03-01 14:41:08.255703
oai:edoc.mpg.de:2082762012-03-0119:91
Conference-Paper
Geregelte Elektrostimulationsergometrie bei Schlaganfall
German
Homburg-Saar
2005
93
94
5. Workshop "Automatisierungstechnische Methoden und Systeme in der Medizin"
Saarbrücken, Germany
2004-10-15
2004-10-16
Automed 5. Workshop 2004
Für eine bessere Rehabilitation von hemiparetischen Patienten (z. B. nach einem Schlaganfall) wurde ein kommerzielles Fahrradergometer mit Hilfsmotor so weiterentwickelt, dass das motorische Defizit der gelähmten unteren Extremität beim Treten durch elektrische Stimulation der Muskulatur kompensiert werden kann. Im Gegensatz zum herkömmlichen Fahrradfahren von komplett querschnittgelähmten Patienten mittels elektrischer Stimulation werden an die Regelung der Stimulationsintensitäten höhere Ansprüche gestellt. Die Interaktion von Fahrer und Ergometer über das nicht betroffende Bein ist bei Anpassung der Stimulationsintensitäten entsprechend zu berücksichtigen. Die Erfassung der vom gesunden Bein eingebrachten "Antriebsleistung" und deren Verwendung als Vorgabe für das gelähmte Bein stellt einen möglichen Ansatz dar. Zur Realisierung des gewünschten Drehmoments durch das betroffene Bein wurde eine iterative Regelung entwickelt, welche die Stimulationsintensität von Tretzyklus zu Tretzyklus gezielt verändert. Die Aktivitäten der Beine wurden an Hand des Motorstromes bewertet. Erste experimentelle Untersuchungen mit dem entwickelten System werden vorgestellt.
No
expertsonly
published
joureview
R. C.
Salbert
R. C.
T.
Schauer
T.
N.-O.
Negard
N.-O.
J.
Raisch
J.
P. W.
Schönle
P. W.
V.
Engler
V.
998
3-00-013509-X
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2006
2012-03-01 14:41:51.505697
oai:edoc.mpg.de:2372782012-04-1419:91
Article
Regelung linearer parameterveränderlicher (LPV-) Systeme mit Hilfe klassischer Regelungsstrukturen und Anwendung auf nichtlineare Regelstrecken
latex
German
2004
397
398
At - Automatisierungstechnik
8
52
Automatic journal name synchronization
No
expertsonly
published
joureview
S.
Sommer
S.
56/04
http://dx.doi.org/10.1524/auto.52.8.397.36681
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005
2012-04-14 20:15:06.066935
oai:edoc.mpg.de:2375522005-11-1519:91
Conference-Paper
Using chemical reaction network theory to discard a kinetic mechanism hypothesis
English
2005
325
328
Foundations of Systems Biology in Engineering
Santa Barbara
2005-08-07
2005-08-10
FOSBE 2005 : Foundations of Systems Biology in Engineering : Plenary & Contributed Papers
Feinberg s Chemical Reaction Network Theory (CRNT) connects the structure of a biochemical reaction network to qualitative properties of the corresponding system of ordinary differential equations. In particular, no information about parameter values is needed. As such, it seems to be well suited for application in systems biology, where parameter uncertainty is predominant. However, its application in this area is rare, at best. To demonstrate potential benefits from the application, different reaction networks representing a single layer of the well studied Mitogen-activated protein (MAPK) cascade are analyzed. Recent results from Markevich et al. (2004) show that, unexpectedly, multilayered protein kinase cascades can exhibit multistationarity even on a single cascade level. Using CRNT, we show that their assumption of a distributive mechanism for double phosphorylation and dephosphorylation is crucial for multistationarity on the single cascade level.
No
expertsonly
published
joureview
C.
Conradi
C.
J.
Saez-Rodriguez
J.
E. D.
Gilles
E. D.
J.
Raisch
J.
Otto-von-Guericke University
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
MPI für Dynamik komplexer technischer Systeme
Systems Biology
2006
2005-11-15 10:54:38.645089
oai:edoc.mpg.de:2376332005-11-0319:91
Conference-Paper
A new hierarchical control scheme for a class of cyclically repeated discrete-event systems
English
2005
30
36
Second International conference on informatics in control, automation and robotics (ICINCO 2005)
Barcelona, Spain
2005-09-14
2005-09-17
Proceedings of the Second International conference on informatics in control, automation and robotics (ICINCO 2005) ; Signal Processing, Systems Modeling and Control : Vol. IV
We extend the hierarchical control method in (Li et al., 2004) to a more generic setting which involves cyclically repeated processes. A hierarchical architecture is presented to facilitate control synthesis. Specifically, a conservative max-plus model for cyclically repeated processes is introduced on the upper level which provides an optimal online plan list. An enhanced min-plus algebra based scheme on the lower level not only handles unexpected events but, more importantly, addresses cooperation issues between sub-plants and different cycles. A rail traffic example is given to demonstrate the effectiveness of the proposed approach.
No
expertsonly
published
joureview
D.
Li
D.
E.
Mayer
E.
J.
Raisch
J.
Robert Bosch GmbH
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2006
2005-11-03 16:16:06.399841
oai:edoc.mpg.de:2376352013-02-0819:91
Article
Online identification and nonlinear control of the electrically stimulated quadriceps muscle
English
2005
1207
1219
Control Engineering Practice
9 - Special Issue : Modelling and Control of Biomedical Systems
13
A new approach for estimating nonlinear models of the electrically stimulated quadriceps muscle group under nonisometric conditions is investigated. The model can be used for designing controlled neuro-prostheses. In order to identify the muscle dynamics (stimulation pulsewidth-active knee moment relation) from discrete-time angle measurements only, a hybrid model structure is postulated for the shank-quadriceps dynamics. The model consists of a relatively well known time-invariant passive component and an uncertain time-variant active component. Rigid body dynamics, described by the Equation of Motion (EoM), and passive joint properties form the time-invariant part. The actuator, i.e. the electrically stimulated muscle group, represents the uncertain time-varying section. A recursive algorithm is outlined for identifying online the stimulated quadriceps muscle group. The algorithm requires EoM and passive joint characteristics to be known a priori. The muscle dynamics represent the product of a continuous-time nonlinear activation dynamics and a nonlinear static contraction function described by a Normalised Radial Basis Function (NRBF) network which has knee-joint angle and angular velocity as input arguments. An Extended Kalman Filter (EKF) approach is chosen to estimate muscle dynamics parameters and to obtain full state estimates of the shank-quadriceps dynamics simultaneously. The latter is important for implementing state feedback controllers. A nonlinear state feedback controller using the backstepping method is explicitly designed whereas the model was identified a priori using the developed identification procedure.
Copyright © 2004 Elsevier Ltd. All rights reserved. [accessed February 8th 2013]
electrical stimulation; extended Kalman filter; physiological model; neural network; nonlinear control
No
expertsonly
published
joureview
T.
Schauer
T.
N.-O.
Negard
N.-O.
F.
Previdi
F.
K. J.
Hunt
K. J.
M. H.
Fraser
M. H.
E.
Ferchland
E.
J.
Raisch
J.
12/05
http://dx.doi.org/10.1016/j.conengprac.2004.10.006
Lehrstuhl für Systemtheorie technischer Prozesse, Institut für Automatisierungstechnik, Universität Magdeburg, Postfach 4120, 39016 Magdeburg, Germany
Dipartimento di Ingegneria, Universitá di Bergamo, via Marconi 5, 24044 Dalmine (BG), Italy
Centre for Rehabilitation Engineering, University of Glasgow, Glasgow G12 8QQ, Scotland, UK
Queen Elizabeth National Spinal Injuries Unit, Southern General Hospital, 1345 Govan Road, Glasgow G51 4FT, Scotland, UK
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2006
2013-02-08 11:19:27.971269
oai:edoc.mpg.de:2376362005-11-0719:91
Conference-Paper
Analysis of different crystalliser configurations to perform preferential crystallisation
English
2005
829
835
1901
16th International Symposium on Industrial Crystallization
Dresden, Germany
2005-09-11
2005-09-14
16th International Symposium on Industrial Crystallization
VDI-Bericht
The intention of this paper is the analysis of general concepts for preferential crystallisation with the focus on aspects of quantification. In this preliminary examination, the amino acid threonine was used as a model system. The use of on-line polarimetry in combination with on-line densimetry as well as microscopic investigation enables to obtain some indispensable information about the crystallisation kinetics. Taking these estimated values into consideration a simplified mathematical description as a first approach including a population balance model was established for the simulation of the time changes of liquid phase composition during the preferential crystallisation process. Based on this simplified model different crystalliser configurations were investtigated.
No
expertsonly
published
joureview
M. P.
Elsner
M. P.
E.
Alonso Muslera
E.
I.
Angelov
I.
D.
Fernandez Menendez
D.
H.
Lorenz
H.
D.
Polenske
D.
U.
Vollmer
U.
J.
Raisch
J.
A.
Seidel-Morgenstern
A.
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
MPI für Dynamik komplexer technischer Systeme
Physical and Chemical Foundations of Process Engineering
2006
2005-11-07 11:22:30.696132
oai:edoc.mpg.de:2376442006-05-1819:91
Conference-Paper
Application Programming Interface and PC control for the 8 channel stimulator MOTIONSTIM8
English
2005
27
29
The 10th Annual Conference of the International Functional Electrical Stimulation Society : IFESS 2005
Montreal, Canada
2005-07-05
2005-07-08
The 10th Annual Conference of the International Functional Electrical Stimulation Society : IFESS 2005 : Conference Proceedings
This work describes an application programming interface (API) for the commercially available 8 channel stimulator MOTIONSTIM8. The stimulator for transcutaneous FES applications is manufactured by the company Medel GmbH (Hamburg, Germany) and certified for clinical use. By use of the API, customised stimulation programs can be developed, including closed-loop applications. The user can therefore access various hardware interfaces. The functionality of the API will be outlined and an example application to an electro-mechanical gait trainer is described. For research purposes, computer control of the stimulator was further realised whereas the stimulator can be externally controlled through a serial interface (RS232).
No
expertsonly
published
joureview
N.-O.
Negard
N.-O.
T.
Schauer
T.
J.
de Gersigny
J.
S.
Hesse
S.
J.
Raisch
J.
Lehrstuhl für Systemtheorie technischer Prozesse, Institut für Automatisierungstechnik, Otto-von-Guericke-Universität Magdeburg, Germany
Klinik Berlin, Dpt. Neurological Rehabilitation, Berlin, Germany
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2006
2006-05-18 16:14:38.669662
oai:edoc.mpg.de:2378232012-12-0619:91
Conference-Paper
Optimal Control of Discrete-time Hybrid Automata under Safety and Liveness Constraints
English
2005
243
249
IEEE 2005 International Symposium on Intelligent Control - ISIC05 & 13th Mediterranean Conference on Control and Automation
Limassol, Cyprus
2005-06-27
2005-06-28
Proceedings of the 2005 IEEE International Symposium on Intelligent Control - Vol. 1
No
expertsonly
published
joureview
D.
Gromov
D.
E.
Mayer
E.
J.
Raisch
J.
D.
Corona
D.
C.
Seatzu
C.
A.
Giua
A.
0-7803-8937-9
Otto-von-Guericke-Universität Magdeburg
Università di Cagliari
Dip. di Ing. Elettrica ed Elettronica,
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2006
2012-12-06 14:28:48.030135
oai:edoc.mpg.de:2378242009-11-1219:91
Article
Optimization of initial conditions for preferential crystallization
English
2006-01-18
759
766
Industrial & Engineering Chemistry Research
Ind. Eng. Chem. Res.
2
45
The presented paper addresses the optimization of isothermal preferential crystallization for separation of pure enantiomer from racemic mixtures. The optimization uses a rigorous process model. A sequence of stochastic and deterministic minimization algorithms are used. Optimized are the initial values of mass of racemate, mass of seeds and mean seed size. The approach is illustrated by a case study for amino acid L-/D-threonine. A promising cyclic operation mode is discussed. Although the results are not validated experimentally, the aim of this work is increase the applicability of the process.
No
expertsonly
published
joureview
I.
Angelov
I.
J.
Raisch
J.
M. P.
Elsner
M. P.
A.
Seidel-Morgenstern
A.
43/06
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
MPI für Dynamik komplexer technischer Systeme
Physical and Chemical Foundations of Process Engineering
2007
2009-11-12 10:25:03.598557
oai:edoc.mpg.de:2378282005-11-1719:91
Conference-Paper
Optimal control strategies for batch-wise operation of preferential crystallization for gaining high-purity enantiomers
English
2005
1102
Chemie Ingenieur Technik
8
77
GVC/DECHEMA Jahrestagungen 2005
Wiesbaden, Germany
2005-09-06
2005-09-08
Preferential crystallization is an effective and comparatively cheap technology for enantioseparation at different scales. It is based on different crystallization rates of the two enantiomers in the presence of seed crystals of a single optically active isomer and thus allows the selective crystallization of just one enantiomer in a certain time period. The work to be presented here focuses on new concepts for performing preferential crystallization separations. The application of online polarimetry combined with refractometry and the microscopic investigation of the solid phase provides information on the crystallization kinetics [1]. Experimental results under different crystallization conditions (supersaturation, temperature and enantiomeric excess) in a batch crystallizer will be presented. Furthermore, we will show preliminary experiments in which the influence of the counter-enantiomer on the crystal growth of the desired enantiomer is investigated. Common goals for the control of crystallization processes are to obtain a product with prescribed distribution. In the case of preferential crystallization, an additional requirement is the purity of the final product. When preferential crystallization is performed in a cyclic operation mode, the initial state of each cycle depends on the final state of the previous cycle. The difference in the mass fractions of the two enantiomers will vary from cycle to cycle. The control problem then is to determine the optimal temperature cooling profile and the optimal mass of the added seeds and racemate. The concept of orbital flatness constitutes a highly promising approach to this problem [2].
[1] M.P. Elsner, Chirality 2005
[2] U. Vollmer, International Journal of Control 2003, 76
No
expertsonly
published
joureview
I.
Angelov
I.
J.
Raisch
J.
M. P.
Elsner
M. P.
A.
Seidel-Morgenstern
A.
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
MPI für Dynamik komplexer technischer Systeme
Physical and Chemical Foundations of Process Engineering
2005-11-17 14:14:22.422786
oai:edoc.mpg.de:2378382005-11-0719:91
Conference-Paper
Batch crystallisation control based on population balance models
English
2004
MP1_91.54
MTNS2004 - 16th International Symposium on Mathematical Theory of Networks and Systems
Leuven, Belgium
2004-07-05
2004-07-09
Proc. MTNS2004 - 16th International Symposium on Mathematical Theory of Networks and Systems
In this contribution, we investigate feedforward control synthesis for a batch cooling crystalliser based on a simple population balance model. Population balance models are multidimensional dynamical systems, where one of the independent variables represents time, the other(s) "property coordinate(s)" as, e.g. particle size. They typically describe the temporal evolution of number density functions and are therefore naturally suited to model particulate processes in chemical engineering. Crystallisation represents an important class of particulate processes. It is well established in the chemical and pharmaceutical industry as a purification and separation technique. The quality of crystalline products is strongly influenced by physical properties, such as crystal size distribution (CSD). In batch cooling crystallisers, the fact that solubility depends on temperature is exploited. In this contribution, the process is described by a standard population balance model consisting of a partial differential equation and an ordinary differential equation. The model describes the temporal evolution of both crystal size distribution and solute concentration. Temperature in the crystalliser is considered to be the control input, and the control objective is to achieve a desired crystal size distribution at the end of the batch. The suggested procedure uses a time scaling which transforms the partial differential equation into a simple transport equation and makes the associated (finite dimensional) moment model a flat systems. It checks whether the desired final CSD is achievable, i. e. whether it is compatible with the model assumptions and, if the outcome is affirmative, generates the appropriate control signal.
No
expertsonly
CD-ROM
published
joureview
U.
Vollmer
U.
J.
Raisch
J.
90-5682-517-8
Robert Bosch GmbH
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2005-11-07 11:19:56.334377
oai:edoc.mpg.de:2378412005-11-0719:91
Conference-Paper
Hierarchical Hybrid Control of a Multiproduct Batch Plant
English
2005-07-08
We-M12-TO/3
16th IFAC World Congress
Prague
2005-07-04
2005-07-08
Proc. 16th IFAC World Congress
No
expertsonly
CD-ROM
published
joureview
T.
Moor
T.
J.
Raisch
J.
Friedrich-Alexander-Universität Erlangen-Nürnberg
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2006
2005-11-07 11:19:30.720218
oai:edoc.mpg.de:2378432006-05-0319:91
Conference-Paper
Hierarchical Hybrid Control Synthesis and its Application to a Multiproduct Batch Plant
English
2005
199
216
322
Symposium on Nonlinear Control and Observer Design : From Theory to Applications (SYNCOD)
Stuttgart, Germany
2005-09-15
2005-09-16
Control and Observer Design for Nonlinear Finite and Infinite Dimensional Systems
Meurer, T.; Graichen, K.; Gilles, E. D.
Lecture Notes in Control and Information Services
This contribution demonstrates the potential of a hierarchical hybrid control framework developed in a previous paper (Moor et al., 2003) by applying it to a specific process control example. The example is the control of a multiproduct batch plant with both continuous and discrete inputs. The control problem is to produce a desired amount of each product with minimal operating costs while observing safety and quality requirements.
No
expertsonly
published
joureview
J.
Raisch
J.
T.
Moor
T.
3-540-27938-5
Friedrich-Alexander-Universität Erlangen-Nürnberg
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2006
2006-05-03 15:48:55.998713
oai:edoc.mpg.de:2378442012-03-0519:91
Conference-Paper
On the convexity of reachable sets of nonlinear dynamic systems : an important step in generating discrete abstractions of continuous systems
English
2005
101
106
MMAR 2005 - 11th IEEE International Conference on Methods and Models in Automation and Robotics
Miedzyzdroje, Poland
2005-08-29
2005-09-01
MMAR 2005 - 11th IEEE International Conference on Methods and Models in Automation and Robotics
No
expertsonly
CD-ROM
published
joureview
http://edoc.mpg.de/get.epl?fid=15014&did=237844&ver=0
S.
Geist
S.
G.
Reißig
G.
J.
Raisch
J.
83-60140-90-1
83-60140-85-5
Otto-von-Guericke-Universität Magdeburg, FEIT-IFAT, Lehrstuhl für Systemtheorie technischer Prozesse
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2006
2012-03-05 13:02:02.902321
oai:edoc.mpg.de:2378742005-11-0919:91
Conference-Paper
Optimal Control of Batch and Semibatch Reactors
English
2005
107
112
IS2-03
MMAR 2005 - 11th IEEE International Conference on Methods and Models in Automation and Robotics
Miedzyzdroje, Polen
2005-08-29
2005-09-01
Proceedings of the 11th IEEE International Conference on Methods and Models in Automation and Robotics
The Pontryagin Maximum Principle is a recognised tool for optimal control problems. The main drawback of this approach is that it requires solving a two-point boundary value problem (TBVP) that may be rather involved. This contribution discusses how qualitative methods can considerably reduce the complexity of the resulting TBVP. The obtained results are used for optimal control of batch and semi-batch reactors.
No
expertsonly
CD-ROM
published
joureview
D.
Gromov
D.
B.
Mishra
B.
J.
Raisch
J.
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2006
2005-11-09 15:58:57.86942
oai:edoc.mpg.de:2381172012-03-0519:91
Article
Reduction of Chemical Reaction Networks Using Quasi-Integrals
English
2005
441
450
Journal of Physical Chemistry A
109
We present a numerical method to identify possible candidates of quasi stationary manifolds in complex reaction networks governed by systems of ordinary differential equations. Inspired by singular perturbation theory we examine the ratios of certain components of the reaction rate vector. Those ratios that rapidly approach an almost constant value define a slow manifold for the original flow in terms of quasi integrals, i.e. functions that are almost constant along the trajectories. The dimensionality of the original system is thus effectively reduced without relying on a priori knowledge of the different time scales in the system. We also demonstrate the relation of our approach to singular perturbation theory which, in its simplest form, is just the wellknown quasi-steady-state approximation. In two case studies, we apply our method to oscillatory chemical systems: the 6-dimensional hemin -- hydrogen peroxide -- sulfite pH -- oscillator and a 10-dimensional mechanistic model for the peroxidase - oxidase (PO) reaction system. We conjecture that the presented method is especially suited for a straight forward reduction of higher dimensional dynamical systems where analytical methods fail to identify the different time scales associated with the slow invariant manifolds present in the system.
No
expertsonly
published
joureview
R.
Straube
R.
D.
Flockerzi
D.
S. C.
Mueller
S. C.
M. J. B.
Hauser
M. J. B.
51/05
http://dx.doi.org/10.1021/jp045665s
Otto-von-Guericke Universitat,
Institut fur Experimentelle Physik,
Abteilung Biophysik,
D-39106 Magdeburg, Germany
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2006
2012-03-05 14:54:33.693796
oai:edoc.mpg.de:2381182007-09-2019:91
Article
Mathematical Model of Influenza A Virus Production in Large-Scale Microcarrier Culture
English
2005
46
58
Biotechnology and Bioengineering
1
90
A mathematical model that describes the replication of influenza A virus in animal cells in large-scale microcarrier culture is presented. The virus is produced in a two-step process, which begins with the growth of adherent Madin-Darby canine kidney (MDCK) cells. After several washing steps serum-free virus maintenance medium is added, and the cells are infected with equine influenza virus (A/Equi 2 (H3N8), Newmarket 1/93). A time-delayed model is considered that has three state variables: the number of uninfected cells, infected cells, and free virus particles. It is assumed that uninfected cells adsorb the virus culture.at the time of infection. The infection rate is proportional to the number of uninfected cells and free virions.Depending on multiplicity of infection (MOI), not necessarily all cells are infected by this first step leading to the production of free virions. Newly produced viruses can infect the remaining uninfected cells in a chain reaction. To follow the time course of virus replication, infected cells were stained with fluorescent antibodies. Quantitation of influenza viruses by a hemagglutination assay (HA) enabled the estimation of the total number of new virions produced, which is relevant for the production of inactivated influenza vaccines. ...
mathematical model; virus dynamics; animal cell culture; influenza virus; vaccine production
No
expertsonly
published
joureview
L.
Möhler
L.
D.
Flockerzi
D.
H.
Sann
H.
U.
Reichl
U.
49/05
Lars Moehler, Udo Reichl
Otto-von-Guericke-Universitat Magdeburg,
Lehrstuhl fur Bioprozesstechnik,
Universitatsplatz 2, 39106 Magdeburg, Germany
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
MPI für Dynamik komplexer technischer Systeme
Bioprocess Engineering
2006
2007-09-20 09:03:54.606786
oai:edoc.mpg.de:2381202008-01-1619:91
Article
The Origin of Bursting pH Oscillations in an Enzyme Model Reaction System
English
2005
066205 (12 pages)
Physical Review E
72
The transition from simple periodic to bursting behavior in a 3-dimensional model system of the hemin -- hydrogen peroxide -- sulfite pH oscillator is investigated. A two-parameter continuation in the flow rate and the hemin decay rate is performed to identify the region of complex dynamics. The bursting oscillations emerge subsequent to a cascade of period doubling bifurcations and the formation of a chaotic attractor in parameter space where they are found to be organized in periodic-chaotic progressions. This suggests that the bursting oscillations are not associated with phase-locked states on a 2-torus. The bursting behavior is classified by a bifurcation analysis using the intrinsic slow-fast structure of the dynamics. In particular, we find a slowly varying quasi-species (i.e. a linear combination of two species) which acts as an `internal' or quasi-static bifurcation parameter for the remaining 2-dimensional subsystem. A systematic two-parameter continuation in the internal and one of the external bifurcation parameters reveals a transition in the bursting mechanism from subHopf/fold-cycle to fold/subHopf type. In addition, the slow-fast analysis provides an explanation for the origin of quasi-periodic behavior in the hemin system, even though the underlying mechanism might be of more general importance.
bursting oscillations; mixed-mode oscillations; slow-fast analysis; quasi-integrals; two-paramater continuation
No
expertsonly
published
joureview
R.
Straube
R.
D.
Flockerzi
D.
S. C.
Mueller
S. C.
M. J. B.
Hauser
M. J. B.
52/05
Ronny Straube, Stefan C. Müller and Marcus J. B. Hauser
Abteilung Biophysik, Institut fuer Experimentelle Physik,
Otto-von-Guericke Universitaet,
Universitaetsplatz 2, D-39106 Magdeburg, Germany
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2008-01-16 15:02:36.221282
oai:edoc.mpg.de:2381262012-11-1219:91
Article
Equilibrium and Rate-Based Approaches to Liquid-Liquid Phase Splitting Calculations
English
2005
277
284
Computers & Chemical Engineering
30
Several approaches are presented that can be used to compute liquid-liquid phase splitting. These approaches are based on homotopy continuation methods or on nonequilibrium thermodynamics. It is shown that they exhibit quite different computational demands with respect to computation times and a suggestion is made as to which algorithm to use. For chemical systems with only a few components the computation times encountered on a normal PC in most cases are only a few milliseconds, in some cases even less -- suggesting the general use of such algorithms to assure that phase splitting is always detected when present.
Phase splitting; liquid-liquid equilibrium; nonequilibrium thermodynamics; homotopy continuation
expertsonly
published
joureview
F.
Steyer
F.
D.
Flockerzi
D.
K.
Sundmacher
K.
http://dx.doi.org/10.1016/j.compchemeng.2005.09.005
Kai Sundmacher
Process Systems Engineering,
Otto-von-Guericke-University Magdeburg,
Universitätsplatz 1,
39106 Magdeburg, Germany
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
MPI für Dynamik komplexer technischer Systeme
Physical and Chemical Process Engineering
2006
2012-11-12 13:59:26.413664
oai:edoc.mpg.de:2399172009-11-3019:91
Article
Using Chemical Reaction Network Theory to discard a Kinetic Mechanism Hypothesis
English
2005-12
243
248
IEE Proceedings Systems Biology
4
152
Feinberg’s Chemical Reaction Network Theory (CRNT) connects the structure of a biochemical reaction network to qualitative properties of the corresponding system of ordinary differential equations. In particular, no information about parameter values is needed. As such, it seems to be well suited for application in systems biology, where parameter uncertainty is predominant. However, its application in this area is rare, at best. To demonstrate potential benefits from the application, different reaction networks representing a single layer of the well studied Mitogen-activated protein kinase (MAPK) cascade are analyzed. Recent results from Markevich et al. (2004) show that, unexpectedly, multilayered protein kinase cascades can exhibit multistationarity even on a single cascade level. Using CRNT, we show that their assumption of a distributive mechanism for double phosphorylation and dephosphorylation is crucial for multistationarity on the single cascade level.
Chemical Reaction Network Theory; Model discrimination; MAPK-cascade
expertsonly
published
joureview
C.
Conradi
C.
J.
Saez-Rodriguez
J.
E. D.
Gilles
E. D.
J.
Raisch
J.
56/05
Otto-von-Guericke University, Magdeburg
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
MPI für Dynamik komplexer technischer Systeme
Systems Biology
2009-11-30 14:04:06.069288
oai:edoc.mpg.de:2448252013-02-0819:91
Article
Optimal control of discrete-time hybrid automata under safety and liveness constraints
English
2006
1188
1210
Nonlinear Analysis :Theory, Methods & Applications
6 - Special Issue : Hybrid Systems and Applications
65
In this contribution we address an optimal control problem for a class of discrete-time hybrid automata under safety and liveness constraints. The solution is based on a hierarchical decomposition of the problem, where the low-level controller enforces safety and liveness constraints while the high-level controller exploits the remaining degrees of freedom for performance optimisation. Lower-level control is based on a discrete abstraction of the continuous dynamics. The action of low-level control can be interpreted as restricting invariants in the hybrid automaton representing the plant model. A state feedback solution for the high-level control is provided, based on the off-line construction of an appropriate partition of the state space.
Copyright © 2005 Elsevier Ltd. All rights reserved. [accessed February 8th 2013]
No
expertsonly
published
joureview
C.
Seatzu
C.
D.
Gromov
D.
J.
Raisch
J.
D.
Corona
D.
A.
Giua
A.
http://dx.doi.org/10.1016/j.na.2005.12.024
Dipartimento di Ingegneria Elettrica ed Elettronica, Pad. A
Università degli Studi di Cagliari, Piazza d'Armi, 09123 Cagliari, Italy;
Otto-von-Guericke-Universität, FEIT-IFAT, Lehrstuhl für Systemtheorie technischer Prozesse, Universitätsplatz 2, 39106 Magdeburg
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2007
2013-02-08 11:01:58.459019
oai:edoc.mpg.de:2449062009-11-2519:91
Conference-Paper
Gait phases detection and step length estimation of gait by means of inertial sensors
English
International Federation for Medical and Biological Engineering
Prague, Czech Republic
2005-11
1610
11
3rd European Medical & Biological Engineering Conference (EMBEC 2005)
Prague, Czech Republic
2005-11-20
2005-11-25
3rd European Medical & Biological Engineering Conference (EMBEC 2005)
IFMBE Proceedings
The application of inertial sensors in the FES-aided gait rehabilitation is investigated. Instead of using foot switches, inertial sensors can be applied to detect gait phases. It is shown that it is possible to reliably detect four distinct gait phases by use of inertial sensors. Additionally, foot orientation is estimated by integration of angular velocity. To avoid drift in the orientation estimate a Kalman filter was implemented taking the measured acceleration in the swing phase into account. The foot position during the swing phase of gait can be estimated on the basis of measured acceleration and already calculated orientation. The accuracy of this calculation is increased by introducing start and stop constraints on the velocity. To validate the algorithms described in this paper, two gait trials with stroke patients were performed on a treadmill. In these trials an ultrasonic measurement unit was used as a reference system. The results show that the step length can be estimated quite accurately. The standard deviation of the errors of the step length estimation compared to the reference measurement were lying between 3 % and 5 %. The gait phases detection and foot position estimate are expected to be usable in FES-aided gait rehabilitation for stroke patients. The reconstructed position and orientation of the foot can be employed as feedback signals for automatic tuning of muscle stimulation in such systems.
No
expertsonly
CD-ROM
published
joureview
N.-O.
Negaard
N.-O.
R.
Kauert
R.
S.
Andres
S.
T.
Schauer
T.
J.
Raisch
J.
HASOMED GmbH, Paul-Ecke-Straße 1, 39114 Magdeburg, Germany;
Fraunhofer Institute for Factory Operation and Automation IFF,
Sandtorstr. 22, 39106 Magdeburg, Germany
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2006
2009-11-25 16:15:56.799159
oai:edoc.mpg.de:2449082005-11-0919:91
Conference-Paper
Control of FES-aided gait by means of inertial sensors
English
Wismar, Germany
2005-09
o.S.
4th International Symposium on Automatic Control (AUTSYM 2005)
Wismar, Germany
2005-09-22
2005-09-23
4th International Symposium on Automatic Control (AUTSYM 2005)
Schauer, W.
Inertial sensors might be used as replacement of traditional foot switches in the control of stimulation in a Functional Electrical Stimulation (FES) aided gait rehabilitation. The inertial sensors can be used to detect gait phases, which in order can be used to synchronise the stimulation to defined gait phases for the different channels. Additionally, inertial sensors can be applied to estimate orientation and 3 dimensional movement of the foot. Based on orientation and estimated 3D curve, several movement parameters can be defined. The most important are foot clearance, which is defined as maximum distance between foot and ground, and sagittal angle of the foot in relation to ground at the time instant close before ground contact. A model of the legs during swing phase was developed on basis of first rinciples and combined with a complex physiological model from literature. The aim of this work was to evaluate the use of movement parameters obtained by inertial sensors in a feedback system. A discrete time, gait-cycle to gait-cycle, PI-type controller was designed to control the foot clearance by use of the hamstring stimulation. The simulation trial showed that the controller was able
to react on a reference change in five cycles.
No
expertsonly
published
notrev
N.-O.
Negard
N.-O.
T.
Schauer
T.
J.
Raisch
J.
3-910102-79-4
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2006
2005-11-09 09:35:08.281815
oai:edoc.mpg.de:2449112012-11-1719:91
Article
Belastungsregelung bei der Elektrostimulationsergometrie
German
2005
607
614
At-Automatisierungstechnik
12
53
Für querschnittgelähmte Menschen stellt das Herz-Kreislauf-Training an Fahrradergometern mit Funktioneller Elektrischer Stimulation (FES) der gelähmten unteren Extremitäten eine sich zunehmend etablierende Rehabilitationsmaßnahme dar. Diese Arbeit stellt ein neues Ergometersystem mit Elektrostimulation vor, bei dem die Beine zusätzlich durch einen Hilfsmotor unterstützt werden. Durch den Motor kann ein isokinetisches Training realisiert werden. Der Patient arbeitet in diesem Fall mit den elektrisch stimulierten Muskeln gegen den Motor, der die Trittgeschwindigkeit konstant hält. Für die gezielte Anpassung der Belastung durch die Elektrostimulation wurde ein sich selbst einstellender Momentenregler entwickelt. Der Reglerentwurf erfolgt anhand der online identifizierten linearen Übertragungsfunktion zwischen Stimulationsintensität und gemitteltem muskulären Antriebsmoment. Erste experimentelle Ergebnisse mit einem neurologisch intakten Probanden werden vorgestellt.
Automatic journal name synchronization
Biomedical engineering; self-tuning control; extended Kalman filter
No
expertsonly
published
joureview
T.
Schauer
T.
R. C.
Salbert
R. C.
N.-O.
Negaard
N.-O.
K. J.
Hunt
K. J.
J.
Raisch
J.
http://www.oldenbourg-link.com/doi/pdf/10.1524/auto.2005.53.12.607
Department of Mechanical Engineering, University of Glasgow, Glasgow G12 8QQ, Scotland
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2006
2012-11-17 20:15:06.272655
oai:edoc.mpg.de:2449132005-11-0919:91
Conference-Paper
Blood glucose control in critical ill patients
English
Wismar, Germany
2005-09
o.S.
4th International Symposium on Automatic Control (AUTSYM 2005)
Wismar, Germany
2005-09-22
2005-09-23
4th International Symposium on Automatic Control (AUTSYM 2005)
Schauer, W.
Nonlinear hybrid control of blood glucose in critical ill patients has been investigated. Standard control algorithms for blood glucose only adjust the insulin infusion rate for lowering the blood sugar level. Hypoglycaemic situations are critical is this case since no automatic control action can be lunched. To avoid hypoglycaemia, controller performance is usually chosen low what results in large settling times. In the proposed hybrid control scheme, glucose and insulin infusions are administrated. This allows to track a specied blood glucose pro le exactly. The employed controller is model-based and tested in computer simulations.
No
expertsonly
published
notrev
T.
Schauer
T.
E.
Ferchland
E.
J.
Raisch
J.
3-910102-79-4
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2006
2005-11-09 09:36:04.998241
oai:edoc.mpg.de:2449152005-11-2119:91
Conference-Paper
Funktionelles Handöffnen und -schließen mittels EMG-gesteuerter elektrischer Stimulation
German
Wismar, Germany
2005-09
o.S.
4th International Symposium on Automatic Control (AUTSYM 2005)
Wismar, Germany
2005-09-22
2005-09-23
4th International Symposium on Automatic Control (AUTSYM 2005)
Schauer, W.
Für Schlaganfallpatienten stellt die Wiederherstellung der Greifbewegung mit funktioneller elektrischer Stimulation (FES) der gelähmten Hand eine sich zunehmend etablierende Rehabilitationsmaßnahme dar. Die derzeit existierenden technisch-therapeutischen Lösungen sind jedoch nicht zufriedenstellend. Diese Arbeit stellt einen Elektromyogramm(EMG)-gesteuerten-Zustandsautomaten vor, der die Elektrostimulation in Anhängigkeit von der Patientenintention steuert um das Greifen zu realisieren. Dabei werden die Grundfunktionen Öffnen und Schließen der Hand so kombiniert, dass ein Greifen ermöglicht wird.
No
expertsonly
published
notrev
R. C.
Salbert
R. C.
T.
Schauer
T.
S.
Schmidt
S.
J.
Raisch
J.
3-910102-79-4
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2006
2005-11-21 15:21:02.945625
oai:edoc.mpg.de:2449982013-02-0819:91
Article
A hierarchy of discrete abstractions for a hybrid plant (extended version)
English
1998
1073
1095
Journal Europeen des Systemes Automatises = European Journal of Automation
JESA
9-10 - Special Issue on Hybrid Dynamical Systems
32
No
expertsonly
published
joureview
J.
Raisch
J.
17
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2013-02-08 12:00:49.562239
oai:edoc.mpg.de:2449992009-11-1219:91
Article
Discrete approximation and supervisory control of continuous systems
English
1998-04
569
573
IEEE Transactions on Automatic Control
4 special issue : Hybrid Systems
43
This contribution addresses the following hybrid control problem: a continuous plant (its state evolving in Euclidean space) is to be controlled via symbolic outputfeedback – both measurement and control signal “live” on finite sets of symbols. We adopt the following approach: the hybrid problem is first translated into a purely discrete problem by approximating the continuous plant model by a (nondeterministic) finite state machine. By taking into account past measurement and control symbols, approximation accuracy can be improved and adjusted to the specification requirements. Supervisory control theory for DES (Discrete Event Systems) is then applied to find the optimal controller which enforces the specifications. As the behaviour of the approximating automaton is guaranteed to contain the behaviour of the underlying continuous plant model, the controller also forces the latter to obey the specifications.
No
expertsonly
published
joureview
J.
Raisch
J.
S. D.
O'Young
S. D.
18
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2009-11-12 12:45:50.942081
oai:edoc.mpg.de:2451642013-02-0819:91
Article
Control of Batch Crystallization : a System Inversion Approach
English
2006
874
885
Chemical Engineering & Processing
10 - Special Issue on Particulate Processes
45
In this article a new approach to the control of batch crystallization is presented. In batch cooling crystallization the crucial control problem is to design a temperature trajectory which produces a desired crystal size distribution at the end of the batch. Traditionally, this problem is addressed in an optimization framework. Here, a completely different solution is presented. It is shown that the standard population balance model can be inverted analytically. The system inversion is performed making use of a state dependent time scaling of the population balance model. Consequently, for any desired crystal size distribution the corresponding temperature trajectory (i.e. the feed-forward control) can be determined in a straight forward way. Furthermore, exploiting the properties of the time-scaled moment model, a nonlinear feedback control is designed for the batch crystallizer, which ensures tracking of the previously designed trajectories in the presence of uncertainty.
Copyright © 2006 Elsevier B.V. All rights reserved. [accessed February 8th 2013]
batch crystallization; population balance; process control; orbital flatness
No
expertsonly
published
joureview
U.
Vollmer
U.
J.
Raisch
J.
http://dx.doi.org/10.1016/j.cep.2006.01.012
Robert Bosch GmbH
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2007
2013-02-08 11:04:49.62919
oai:edoc.mpg.de:2451682013-02-0819:91
Article
Learning by Doing : Systematic Abstraction Refinement for Hybrid Control Synthesis
English
2006
591
599
IEE Proceedings - Control Theory and Applications
5 - Special Issue on Hybrid Systems
153
No
expertsonly
published
joureview
T.
Moor
T.
J. M.
Davoren
J. M.
J.
Raisch
J.
http://dx.doi.org/10.1049/ip-cta:20050347
Universität Erlangen-Nürnberg, Lehrstuhl für Regelungstechnik;
Department of Electrical and Electronic Engineering, Building 193, The University of Melbourne, Victoria 3010, AUSTRALIA
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2007
2013-02-08 11:05:47.667129
oai:edoc.mpg.de:2451692012-03-2719:91
Article
Throughput-Optimal Sequences for Cyclically Operated Plants
English
2008
355
383
Discrete Event Dynamic Systems - Theory and Applications
3
18
cyclic scheduling; high throughput screening; integer programming
No
expertsonly
published
joureview
E.
Mayer
E.
U.-U.
Haus
U.-U.
J.
Raisch
J.
R.
Weismantel
R.
http://dx.doi.org/10.1007/s10626-008-0038-3
Otto-von-Guericke-Universität Magdeburg
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2009
2012-03-27 13:48:28.276906
oai:edoc.mpg.de:2451722005-11-1019:91
Conference-Paper
On suboptimal control design for hybrid automata using predictive control techniques
English
2005
We-A12-TO/6
16th IFAC World Congress
Prague
2005-07-04
2005-07-08
Proceedings of the 16th IFAC World Congress
No
expertsonly
CD-ROM
published
joureview
M.
Spathopoulos
M.
Y.
Pang
Y.
J.
Raisch
J.
University of Strathclyde
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2006
2005-11-10 15:01:57.325472
oai:edoc.mpg.de:2459902005-11-2119:91
Conference-Paper
Control problems in batch crystallisation of enantiomers
English
Oprogramowanie Naukowo-Techniczne
Kraków, Poland
2005-11-16
189
194
CMS'05 - Computer Methods and Systems
Kraków, Poland
2005-11-14
2005-11-16
CMS'05 - Computer Methods and Systems : Plenary lectures and special session papers; Volume I
Tadeusiewicz, R.; Liegeza, A.; Szymkat, M.
In the first part of this contribution, we investigate control synthesis for a batch cooling crystalliser based on a simple population balance model. Population balance models are multidimensional dynamical systems, where one of the independent variables represents time, the other(s) "property coordinate(s)" as, e.g., particle size. They typically describe the temporal evolution of number density functions and are therefore naturally suited to model particulate processes in chemical engineering as, e.g., crystallisation. We demonstrate that the corresponding moment model is orbitally flat, i.e., it can be transformed into a flat system by an appropriate time transformation. Roughly speaking, flat systems possess an invertibility property, and this can be conveniently used to generate an input signal that will result in a desired crystal size distribution at the end of the batch. In the second part of this contribution, we indicate how the described flatness based approach can be extended to address the more demanding problem of enantiomer separation by crystallisation.
No
expertsonly
published
joureview
J.
Raisch
J.
U.
Vollmer
U.
I.
Angelov
I.
83-916420-3-8
Robert Bosch GmbH
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2006
2005-11-21 15:45:12.262144
oai:edoc.mpg.de:2934792013-02-0819:91
Article
Optimal Operation of Enantioseparation by Batch-Wise Preferential Crystallization
English
2008
1282
1292
Chemical Engineering Science
5 - Special Issue for Control of Particulate Processes VII
63
This article describes batch-wise preferential crystallization separation of mixtures of L- and D- threonine. Use of online polarimetry combined with refractometry and microscopic investigation of the solid phase provides information on the crystallization kinetics. Results obtained for different crystallization conditions (supersaturation, temperature and enantiomeric excess) in a batch crystallizer are presented. Based on these results, a nonlinear dynamic model has been developed. The control problem is to determine an optimal temperature profile which will result in a maximum amount of product with required quality. In this dynamic optimization problem B-splines have been used for interpolation of the temperature profile.
Copyright © 2007 Elsevier Ltd All rights reserved.
[accessed June 6, 2008]
Preferential crystallization; Batch-wise non-isothermal crystallization; Dynamic optimization; B-spline interpolation
expertsonly
published
notspecified
I.
Angelov
I.
J.
Raisch
J.
M. P.
Elsner
M. P.
A.
Seidel-Morgenstern
A.
7/08
http://dx.doi.org/10.1016/j.ces.2007.07.023
Technical University Berlin
Otto-von-Guericke University Magdeburg
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
MPI für Dynamik komplexer technischer Systeme
Physical and Chemical Foundations of Process Engineering
2009
2013-02-08 09:21:22.542886
oai:edoc.mpg.de:2934862012-11-1219:91
Article
Adaptive high-resolution schemes for multidimensional population balances in crystallization processes
English
2007-10
1296
1311
Computers and Chemical Engineering
10
31
This article focuses on the application of adaptive high-resolution finite volume schemes for solving multidimensional population balance models (PBM) in crystallization processes. For the mesh redistribution, we use the moving mesh technique of Tang and Tang [Tang, H.-Z. & Tang, T. (2003). Adaptive mesh methods for one- and two-dimensional hyperbolic conservation laws. SIAM Journal of Numerical Analysis, 41, 487 515] which they have developed for hyperbolic conservation laws in conjuction with finite volume schemes. In this technique, an iterative procedure is used to redistribute the mesh by moving the spatial grid points. The corresponding numerical solution at the new grid points is obtained by solving a linear advection equation. The method avoids the usual unsatisfactory, interpolation procedure for updating the solution. The finite volume schemes were originally derived for compressible fluid dynamics. The schemes have already shown their accuracy and efficiency in resolving sharp peaks and shock discontinuities. The accuracy of these schemes has been improved further by using the adaptive meshing techniques. The application of these high-resolution schemes for multidimensional crystallization processes demonstrates their generality, efficiency, and accuracy. The numerical test cases presented in this article show the clear advantage of finite volume schemes and show further improvements when combined with amoving mesh technique.
expertsonly
published
joureview
S.
Qamar
S.
A.
Ashfaq
A.
G.
Warnecke
G.
I.
Angelov
I.
M. P.
Elsner
M. P.
A.
Seidel-Morgenstern
A.
http://dx.doi.org/10.1016/j.compchemeng.2006.10.014
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
MPI für Dynamik komplexer technischer Systeme
Physical and Chemical Foundations of Process Engineering
2008
2012-11-12 15:13:49.916885
oai:edoc.mpg.de:2935402007-03-2019:91
Conference-Paper
A gradient-based approach to a class of hybrid optimal control problems
English
2006
89
94
2nd IFAC Conference on Analysis and Design of Hybrid systems (ADHS)
Alghero, Italy
2006-06-07
2006-06-09
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)
We investigate optimal control problems for a class of non-stationary hybrid systems with autonomous location transitions.Using the Lagrange approach and the technique of the reduced gradient, we derive necessary optimality conditions for the considered class of problems. These optimality conditions are closely related to a variant of the Hybrid Maximum Principle and can be used for constructive optimization algorithms.
expertsonly
published
notspecified
V.
Azhmyakov
V.
J.
Raisch
J.
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2007
2007-03-20 13:23:54.622294
oai:edoc.mpg.de:2978902007-02-0619:91
Conference-Paper
Detecting and enforcing monotonicity for hybrid control systems synthesis
English
2006
395
402
2nd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)
Alghero, Italy
2006-07-07
2006-07-09
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)
Abstraction based approaches to control of hybrid systems require efficient means of computing outer approximations of reachable continuous state sets. This contribution discusses how the concept of monotonicity can be used for this purpose. It provides an efficient algorithm to check whether a given continuous system is monotone with respect to a (a-priori unknown) partial order and, if not, investigates how to use continuous feedback to enforce monotonicity. In the latter case, the resulting continuous feedback represents a (lower) control level within a hierarchical hybrid control system.
expertsonly
published
notspecified
D.
Gromov
D.
J.
Raisch
J.
Technical University of Berlin
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2007
2007-02-06 15:36:17.649458
oai:edoc.mpg.de:2980222007-02-0619:91
Conference-Paper
Timed Discrete Event Control of a Parallel Production Line with Continuous Output
English
Alghero, Italy
2006
205
211
2nd IFAC Confenrence on Analysis and Design of Hybrid Systems (ADHS)
Alghero, Italy
2006-07-07
2006-07-09
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)
In this paper we present an approach to formulate and solve certain scheduling tasks using timed discrete event control methods. To demonstrate our approach, we consider a special class of systems: a cyclically operated chemical plant with parallel reactors using common resources and a continuous output. This problem was motivated by a benchmark proposed within the EU Network of Excellence HYCON. For this class of systems, we show how to pose the control problem within a discrete event framework by modelling system components as multirate timed automata. Safety and nonblocking are investigated. These properties have to be achieved in the presence of a class of bounded errors/disturbances.
expertsonly
published
notspecified
D.
Gromov
D.
S.
Geist
S.
J.
Raisch
J.
Technische Universität Berlin
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2007
2007-02-06 15:36:36.900705
oai:edoc.mpg.de:2981782007-02-0919:91
Conference-Paper
Chemical Reaction Network Theory : a tool for systems biology
English
2006
5th MATHMOD
Vienna, Austria
2006-02-08
2006-02-10
Proceedings of the 5th MATHMOD : 5th Vienna Symposium on Mathematical Modelling
Feinberg's Chemical Reaction Network Theory (CRNT) connects the structure of a biochemical reaction network to qualitative properties of the corresponding system of ordinary differential equations. In particular, no information about parameter values is needed. As such, it seems to be well suited for application in systems biology, where parameter uncertainty is predominant. To demonstrate potential benefits from the application, different reaction networks representing a single layer of the well-studied Mitogen-activated protein kinase (MAPK) cascade are analyzed. Recent theoretical results show that multilayered protein kinase cascades can exhibit multistationarity even on a single cascade level. Using CRNT, we examine the influence of conserved moieties on the existence of multiple steady states.
expertsonly
CD-ROM
published
notspecified
C.
Conradi
C.
J.
Saez-Rodriguez
J.
E. D.
Gilles
E. D.
J.
Raisch
J.
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
MPI für Dynamik komplexer technischer Systeme
Systems Biology
2007
2007-02-09 16:01:30.910341
oai:edoc.mpg.de:2981852012-04-1119:91
Conference-Paper
Regelung und Diagnose der Elektrotherapie mittels Elektromyographie am stimulierten Muskel
German
2006
S1-3
Automed 2006
Rostock, Germany
2006-03-24
2006-03-25
Tagungsband des Workshops Automatisierungstechnische Methoden und Systeme in der Medizin : Automed 2006
expertsonly
CD-ROM
published
notspecified
R. C.
Salbert
R. C.
T.
Schauer
T.
S.
Hesse
S.
A.
Bardeleben
A.
J.
Raisch
J.
Charité - University Hospital Berlin, Dept. of Neurological Rehabilitation, Germany
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2012-04-11 15:42:01.556618
oai:edoc.mpg.de:2981872012-03-0219:91
Conference-Paper
Hybride modell-prädiktive Regelung des Blutzuckerspiegels auf Intensitivstationen
German
2006
S4-3
Automed 2006
Rostock, Germany
2006-03-24
2006-03-25
Tagungsband des Workshops Automatisierungstechnische Methoden und Systeme in der Medizin : Automed 2006
expertsonly
CD-ROM
published
notspecified
T.
Schauer
T.
M.
Goerner
M.
J.
Raisch
J.
MPI für Dynamik komplexer technischer Systeme
Systems and Control Theory
2012-03-02 11:24:44.749067
ResultSet_5XtoFdvV0DR_range_100-199