Title :
An environment for formal modeling and simulation of control systems
Author :
Copstein, Bernardo ; da Costa Mora, M. ; Ribeiro, Leila
Author_Institution :
Inst. de Inf., Pontificia Univ. Catolica do Rio Grande do Sul, Porto Alegre, Brazil
Abstract :
The purpose of this paper is to present the PLATUS simulation environment. PLATUS allows the formal modeling of control systems using graph grammars. In PLATUS, control systems are viewed as a collection of three distinct abstractions, that allow the system designer to keep the specification of control elements free of simulation aspects, providing the tools for formal system verification and code generation of real control systems, making the development of such systems a straightforward step from specification
Keywords :
control system analysis computing; digital simulation; formal specification; formal verification; graph grammars; PLATUS simulation environment; code generation; control systems simulation; formal modeling; formal specification; formal verification; graph grammars; Automatic control; Computational modeling; Computer simulation; Control system synthesis; Control systems; Decision making; Formal specifications; Read only memory; Sampling methods; System testing;
Conference_Titel :
Simulation Symposium, 2000. (SS 2000) Proceedings. 33rd Annual
Conference_Location :
Washington, DC
Print_ISBN :
0-7695-0598-8
DOI :
10.1109/SIMSYM.2000.844903
