Unified modeling and verification of logic controllers for physical systems

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

Volumn 2005, Issue , 2005, Pages 8349-8354

  Bonfè, Marcello ^a   Fantuzzi, Cesare ^b   Secchi, Cristian ^b  

^a UNIVERSITY OF FERRARA   (Italy)

^b UNIVERSITY OF MODENA AND REGGIO EMILIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CLOSED LOOP CONTROL SYSTEMS; COMPUTER SIMULATION; COMPUTER SOFTWARE; LOGIC DEVICES; MATHEMATICAL MODELS; SPECIFICATIONS;

LOGIC CONTROLLERS; MULTI-DOMAIN SYSTEM; OBJECT ORIENTATION; UML LANGUAGE;

PROGRAMMABLE LOGIC CONTROLLERS;

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

References (10)

1. I.E.C., "IEC 61499-1. Function Blocks for Industrial Process Measurement and Control - Part 1: Architecture," Public Available Specification (PAS), 2000.
2. H. M. Paynter, Analysis and Design of Engineering Systems. Cambridge, MA: M.I.T. Press, 1961.
3. O.M.G., "UML, v.1.4, OMG specification," Document N. formal/2001-09-67, 2001, www.omg.org/uml.
4. G. Golo, A. van der Schaft, P. Breedveld, and B. Maschke, "Hamiltonian formulation of bond graphs," in Nonlinear and Hybrid Systems in Automotive Control, R. Johansson and A. Rantzer, Eds. Springer-Verlag, 2003, pp. 351-372.
5. B. Silva, K. Richeson, B. Krogh, and A. Chutinan, "Modeling and verifying hybrid dynamic systems using CheckMate," in Proc. 4th Int. Conf. on Automation of Mixed Processes ADPM, 2000, pp. 237-242.
6. B. Selic and J. Rumbaugh, "Using UML for complex real-time systems," IBM Rational Software Ltd, white paper, 1998, www-106.ibm.com/developerworks/rational/library/139.html.
7. B. Selic, "Protocols and ports: reusable inter-object behavior patterns," in Proc. of the 2nd IEEE Symposium on Object-Oriented Real-Time Distributed Computing, Saint-Malo, France, 1999.
8. 2-Gain and Passivity Techniques in Nonlinear Control, ser. Communication and Control Engineering. Springer Verlag, 2000.
9. A. Chutinan, "Hybrid system verification using discrete model approximation," Ph.D. dissertation, Dept. of Electrical and Computer Engineering, Carnegie Mellon University, May 1999.
10. S. Kowalewski, O. Stursburg, M. Fritz, H. Graf, I. Hoffmann, J. Preussig, M. Remelhe, S. Simon, and H. Treseler, "A case study in tool-aided analysis of discretely controlled continuous systems: The two tanks problem," in Hybrid Systems V, ser. LNCS. Springer-Verlag, 1999, vol. 1567, pp. 163-185.