Modular plant modelling for distributed control

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn , Issue , 2007, Pages 3475-3480

  Missal, Dirk ^b   Hanisch, Hans Michael ^a,b  

^a IEEE

^b MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED PARAMETER CONTROL SYSTEMS; MATHEMATICAL MODELS; PLANTS (BOTANY); PROBLEM SOLVING; SEMANTICS;

MODULAR PLANT MODELING; REALISTIC SCALES; WELL-STRUCTURED MODELING;

BIOCONTROL;

EID: 40949105926     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2007.4413664     Document Type: Conference Paper

References (11)

1. Starke, P., Roch, S.: Analysing signal-net systems. Technical report. Humboldt-Universität zu Berlin, Berlin (2002)
2. Juhás, G. amd Lorenz, R., Neumair, C.: Modelling and control with modules of signal nets. In: Lectures on Concurrency and Petri Nets from the 4th Advanced Course on Petri Nets (ACPN), LNCS 3098, (2004) 585-625
3. Lobov, A., Lastra, J., Tuokko, R.: On controller and plant modelling for model-based formal verification. In: Proceedings of the IEEE International Conference on Emerging Technologies in Factory Automation (ETFA2005), (2005) 121-128
4. Vyatkin, V.and Hanisch, H.M., Karras, S., Pfeiffer, T., Dubinin, V.: Rapid engineering and re-configuration of automation objects using formal verification. International Journal of Manufacturing Research 1(4) (2006) 382-404
5. Desel, J., Milijic, V., Neumair, C.: Model validation in controller design. In: Lectures on Concurrency and Petri Nets. LNCS 3098, (2003) 467-495
6. Thieme, J.: Symbolische Erreichbarkeitsanalyse und automatische Implementierung strukturierter, zeitbewerterter Steuerungsmodelle. Hallenser Schriften zur Automatisierungtechnik. Logos-Verl. (2002)
7. Missal, D., Hanisch, H.M.: Synthesis of distributed controllers by means of a monolithic approach. In: Proceedings of the 11th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA'2006), (2006) 356-363
8. Pinzon, L., Jafari, M., Hanisch, H.M., Zhao, P.: Modeling admissible behavior using event signals. In: IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernatics. Volume 34, Number 3. (2004) 1435 - 1448
9. Missal, D., Hanisch, H.M.: Safe net condition/event system models for synthesis of distributed controllers. In: Proceedings of the 7th International Conference of Science and Technology "New Information Technologies and Systems" (NITiS2006), Part 1, Penza, Russia (2006) 186-198
10. Modular testbed for distributed control: (http://aut.informatik.unihalle. de/forschung/testbed/index.de.php)
11. Example Testing Station: (http://at.informatik.unihalle.de/example_de. php)