Hybrid control techniques for the design of industrial controllers

Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05

Volumn 2005, Issue , 2005, Pages 5612-5617

  Engell, Sebastian ^a   Stursberg, Olaf ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Automation; Hybrid dynamics; Optimal control; Safety; Supervisory control; Verification

Indexed keywords

ACCIDENT PREVENTION; ALGORITHMS; CHEMICAL PLANTS; DISCRETE TIME CONTROL SYSTEMS; FACTORY AUTOMATION; HIERARCHICAL SYSTEMS; OPTIMAL CONTROL SYSTEMS;

CHEMICAL PROCESSING SYSTEMS; HYBRID DYNAMICS; INDUSTRIAL CONTROLLERS; VERIFICATION;

DISTRIBUTED PARAMETER CONTROL SYSTEMS;

EID: 33847215441     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2005.1583056     Document Type: Conference Paper

References (17)

1. Intern. Electrotechnical Commission (Committee No. 65): "Programmable Controllers - Programming Languages, IEC 61131-3", Ed. 2.0, 2003.
2. E.M. Clarke, O. Grumberg, D.A. Peled: "Model Checking", MIT Press, 1999.
3. B.I. Silva, O. Stursberg, B.H. Krogh, S. Engell: "An Assessment of the Current Status of Algorithmic Approaches to the Verification of Hybrid Systems", Proc. IEEE Conf. on Decision and Control, 2001, 2867-2874.
4. E. Clarke, A. Fehnker, Z. Han, B.H. Krogh, J. Ouaknine, O. Stursberg, M. Theobald: "Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems", Int. Journal Foundations of Computer Science, Vol. 14(4), 2003, 583-604.
5. N. Bauer, S. Engell, R. Huuck, S. Lohmann, B. Lukoschus, M.P. Remelhe, O. Stursberg: "Verification of PLC Programs given as Sequential Function Charts", In: Integration of Software Specif. Techn. for Applic. in Eng., Spinger Series LNCS, Vol. 3147, 2004, 517-540.
6. th IEEE Symp. on Logic in Comp. Science, 1996, 278-292.
7. S. Kowalewski, O. Stursberg, N. Bauer: "An Experimental Batch Plant as a Case Example for the Verification of Hybrid Systems", European Journal of Control, Vol. 7, 2001, 366-381.
8. S. Engell, S. Lohmann, O. Stursberg: "Verification of Embedded Supervisory Controllers Considering Hybrid Dynamics", Int. Journal of Software Eng. and Knowledge Eng., Vol. 15/2, 2005, 307-312.
9. M.S. Branicky, V.S. Borkar, S.K. Mitter: "A Unified Framework for Hybrid Control: Model and Optimal Control Theory", IEEE Trans. Automatic Control, 1998, 43(1), 31-45.
10. M. Broucke, M.D. Di Benedetto, S. Di Gennaro, A. Sangiovanni-Vincentelli: "Theory of Optimal Control Using Bisimulations", In: Hybrid Systems: Comp. and Control, Springer, LNCS 1790, 2000, 89-102.
11. M. Buss, O. von Stryk, R. Bulirsch, G. Schmidt: "Towards Hybrid Optimal Control", Automatisierungstechnik, 9(2000), 448-459.
12. J. Oldenburg, W. Marquardt, D. Heinz, D. Leineweber: "Mixed Logic Dynamic Optimization Applied to Batch Distillation Process Design", AICHE Journal, 49(2003), 2900-2917.
13. A. Bemporad, M. Morari: "Control of Systems Integrating Logic, Dynamics, and Constraints", Automatica, 35(3), 407-427.
14. O. Stursberg, S. Panek, J. Till, S. Engell: "Generation of Optimal Control Policies for Systems with Switched Hybrid Dynamics", In: Modelling, Analysis, and Design of Hybrid Systems, Springer, LNCIS 279, 2002, 337-352.
15. J. Till, S. Engell, S. Panek, O. Stursberg: "Applied Hybrid System Optimization - An Empirical Investigation of Complexity", Control Engineering Practice, Vol. 12/10, 2004, 1291-1303.
16. O. Stursberg: "Dynamic Optimization of Processing Systems with Mixed Degrees of Freedom", In: Proc. 7th Int. Symposium on Dynamics and Control of Process Systems, 2004, ID: 164.
17. O. Stursberg: "A Graph-Search Algorithm for Optimal Control of Hybrid Systems", In: 43rd IEEE Conf. on Decision and Control, 2004, 1412-1417.