loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
33rd Annual Simulation Symposium
An Environment for Formal Modeling and Simulation of Control Systems
Washington, D.C.
April 16-April 22
ISBN: 0-7695-0598-8
ASCII Text
x 
 
Bernardo Copstein, Michael da Costa Móra, Leila Ribeiro, "An Environment for Formal Modeling and Simulation of Control Systems," Simulation Symposium, Annual, pp. 74, 33rd Annual Simulation Symposium, 2000.
 
 
BibTex
x
 
@article{ 10.1109/SIMSYM.2000.844903,
author = {Bernardo Copstein and Michael da Costa Móra and Leila Ribeiro},
title = {An Environment for Formal Modeling and Simulation of Control Systems},
journal ={Simulation Symposium, Annual},
volume = {0},
year = {2000},
issn = {1080-241X},
pages = {74},
doi = {http://doi.ieeecomputersociety.org/10.1109/SIMSYM.2000.844903},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Simulation Symposium, Annual
TI - An Environment for Formal Modeling and Simulation of Control Systems
SN - 1080-241X
SP
EP
A1 - Bernardo Copstein,
A1 - Michael da Costa Móra,
A1 - Leila Ribeiro,
PY - 2000
VL - 0
JA - Simulation Symposium, Annual
ER -
 
Bernardo Copstein, Pontif?cia Universidade Cat?lica do Rio Grande do Sul
Michael da Costa Móra, Pontif?cia Universidade Cat?lica do Rio Grande do Sul
Leila Ribeiro, Universidade Federal do Rio Grande do Sul
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.
Citation:
Bernardo Copstein, Michael da Costa Móra, Leila Ribeiro, "An Environment for Formal Modeling and Simulation of Control Systems," ss, pp.74, 33rd Annual Simulation Symposium, 2000
Usage of this product signifies your acceptance of the Terms of Use.