Reconfiguration of discretely controlled hybrid systems for changing specifications

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 1, Issue PART 1, 2007, Pages 115-120

  Tran, Thanh Ha ^a   Stursberg, Olaf ^b   Engell, Sebastian ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Automata; Hybrid systems; Logic control; Reconfiguration; Synthesis

Indexed keywords

COMPUTATION THEORY; COMPUTER CIRCUITS; HYBRID SYSTEMS; ROBOTS; SPECIFICATIONS; SYNTHESIS (CHEMICAL); UNCERTAINTY ANALYSIS;

AUTOMATA; AUTOMATIC COMPUTATIONS; CONTROLLER SYNTHESIS; DISCRETE CONTROLLERS; LOGIC CONTROL; MODEL ABSTRACTION; PRODUCT SPECIFICATIONS; RECONFIGURATION;

CONTROLLERS;

EID: 79960923706     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20070613-3-fr-4909.00022     Document Type: Conference Paper

References (16)

1. Asarin, E., O. Bournez, T. Dang, O. Maler and A. Pnueli (2000). Effective synthesis of switching controllers for linear systems. In: Proc. of the IEEE. Vol. 88. pp. 1011-1025.
2. Askari, J., B. Heiming and J. Lunze (1999). Controller reconfiguration control based on a qualitative model: A solution of three-tanks benchmark problem. In: European Control Conference.
3. Chutinan, A. and B. H. Krogh (1999). Verification of hybrid systems using polygonal flowpipe approximations. Vol. 1569 of LNCS. Springer.
4. Demmel, J. W. (1997). Applied Numerical Linear Algebra. Society for Industrial and Applied Mathematics (SIAM).
5. Koutsoukos, X., P. J. Antsaklis, J. A. Stiver and M. D. Lemmon (2000). Supervisory control of hybrid systems. In: Proc. of the IEEE 88(7).
6. Lunze, J. and T. Steffen (2000). Reconfigurable control of a quantised system. In: 4th Sympo-sium on Fault Detection.
7. Lunze, J. and T. Steffen (2002). Hybrid reconfig-urable control. Vol. 279 of LNCS. Springer.
8. Manon, P. and C. Valentin-Roubinet (1999). About trajectory synthesis to go back to nom-inal mode for a class of hybrid systems. Eu-ropean Journal of Automation 33(8-9).
9. Moor, T., J. Raisch and S. D. O'Young (2002). Discrete supervisory control of hybrid sys-tems based on l-complete approximations. J. of Discrete Event Dyn. Sys. 12(1) pp. 83-107. (Pubitemid 34138684)
10. Pasternak, T. (2002). Reconfiguration in hierar-chical control of piecewise-affine systems. Vol. 2289 of LNCS. Springer. pp. 364-377.
11. Sarabia, D. (2005). A Mixed Continuous-Batch Process (Benchmark for the HYCON-NOE, WP4b). University of Valladolid.
12. Stursberg, O. (2006). Supervisory control of hy-brid systems based on model abstraction and guided search. Nonlinear Analysis-Hybrid Systems and Applications 65(6).
13. Stursberg, O. and B. H. Krogh (2003). Efficient representation and computation of reachable sets for hybrid systems. Vol. 2623 of LNCS. Springer. pp. 482-497.
14. Stursberg, O. and T. H. Tran (2006). Algo-rithmic and abstraction-based design of dis-crete controllers for hybrid automata. at-Automatisierungstechnik 54(9) pp. 450-458.
15. Tittus, M. and B. Egardt (1998). Control design for integrator hybrid systems. IEEE Trans. Automatic Control 43(4) pp. 491-500. (Pubitemid 128737373)
16. Tsuda, K., D. Mignone, G. Ferrari-Trecate and M. Morari (2001). Reconfiguration strategies for hybrid systems. In: American Control Conference. Vol. 2. pp. 868-873. (Pubitemid 32837594)