Simulation and visualization support for user-defined formalisms using meta-modeling and hierarchical formalism transformation

IEEE Conference on Control Applications - Proceedings

Volumn , Issue , 2001, Pages 750-755

  Pereira Remelhe, Manuel A ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Formalism refinement; Hybrid system; Meta modeling; Simulation; Statechart; Visualization

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; CONTROL SYSTEM SYNTHESIS; DIFFERENTIAL EQUATIONS; DISCRETE TIME CONTROL SYSTEMS; HIERARCHICAL SYSTEMS; MATHEMATICAL TRANSFORMATIONS; THREE TERM CONTROL SYSTEMS;

HIERARCHICAL FORMALISM REFINEMENT; META-MODELING; MODELING LANGUAGE MODELICA; SOFTWARE PACKAGE DOME; USER DEFINED FORMALISMS; VISUALIZATION SUPPORT;

LARGE SCALE SYSTEMS;

EID: 0035697422     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Hybrid models of physical systems and discrete controllers
2. Hybrid modeling in modelica based on the synchronous data flow principle
3. Modelica - A language for physical system modeling, visualisation and interaction
4. Building and rapidly evolving domain-specific tools with DOME
5. Statecharts: A visual formalism for complex systems
6. The STATEMATE semantics of statecharts
7. DEVS as a common denominator for multiformalism hybrid system modelling
8. Structuring discrete models in modelica