Publication Details

Simulation Based Design of Control Systems using DEVS and Petri Nets

KOČÍ Radek and JANOUŠEK Vladimír. Simulation Based Design of Control Systems using DEVS and Petri Nets. In: Computer Aided Systems Theory. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2009, pp. 291-292. ISBN 978-84-691-8502-5.
Czech title
Simulation Based Design of Control Systems using DEVS and Petri Nets
Type
conference paper
Language
english
Authors
Kočí Radek, Ing., Ph.D. (DITS FIT BUT)
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT)
Keywords

DEVS, Object Oriented Petri Nets, simulation, modelling, system design

Abstract

Current model-based design methodologies use executable semi-formal models allowing for transformations including code generation. Nevertheless, the code should be finalized manually and further development or debugging by means of prime models is impossible. The paper introduces an approach to the system design called Simulation Based Design which uses fromalisms of DEVS (Discrete-Event Systems Specification) and Object Oriented Petri Nets (OOPN) allowing for clear modeling, a possibility to check correctness by means of simulation as well as by formal verification. The approach is based on techniques such as incremental development in the simulation, reality-in-the-loop simulation, and model-continuity. The model is understood as an executable program valid through all development stages including the deployment (the target system).

Published
2009
Pages
291-292
Proceedings
Computer Aided Systems Theory
Conference
Eurocast 2009 Workshop on Simulation and Formal Methods in Systems Design and Engineering, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-84-691-8502-5
Publisher
The Universidad de Las Palmas de Gran Canaria
Place
Las Palmas de Gran Canaria, ES
BibTeX 
@INPROCEEDINGS{FITPUB8873,
   author = "Radek Ko\v{c}\'{i} and Vladim\'{i}r Janou\v{s}ek",
   title = "Simulation Based Design of Control Systems using DEVS and Petri Nets",
   pages = "291--292",
   booktitle = "Computer Aided Systems Theory",
   year = 2009,
   location = "Las Palmas de Gran Canaria, ES",
   publisher = "The Universidad de Las Palmas de Gran Canaria",
   ISBN = "978-84-691-8502-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8873"
}
Back to top