Published Articles >> Table of Contents >> Abstract

33rd Annual Simulation Symposium   p. 74
An Environment for Formal Modeling and Simulation of Control Systems
Bernardo Copstein, Pontifícia Universidade Católica do Rio Grande do Sul
Michael da Costa Mora, Pontifícia Universidade Católica do Rio Grande do Sul
Leila Ribeiro, Universidade Federal do Rio Grande do Sul

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SIMSYM.2000.844903
Send link to a friend

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 straight forward step from specification.
Back to Top Additional Information
Citation:  Bernardo Copstein, Michael da Costa Mora, Leila Ribeiro, "An Environment for Formal Modeling and Simulation of Control Systems," ss, p. 74,  33rd Annual Simulation Symposium,  2000