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

fYear

2000

fDate

2000

Firstpage

74

Lastpage

79

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Simulation Symposium, 2000. (SS 2000) Proceedings. 33rd Annual

Conference_Location

Washington, DC

ISSN

1080-241X

Print_ISBN

0-7695-0598-8

Type

conf

DOI

10.1109/SIMSYM.2000.844903

Filename

844903