Hybrid statecharts to model continuous and discrete behavior in engineering systems

Authors:
J. A. Ferreira
Affiliations:
Department of Mechanical Engineering, University of Aveiro, Portugal
Venue:
AMCOS'05 Proceedings of the 4th WSEAS International Conference on Applied Mathematics and Computer Science
Year:
2005

Citing 8
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
A survey of models, analysis tools and compensation methods for the control of machines with friction

Automatica (Journal of IFAC)
The algorithmic analysis of hybrid systems

Theoretical Computer Science - Special issue on hybrid systems
A comprehensive methodology for building hybrid models of physical systems

Artificial Intelligence
Modeling, simulation, sensitivity analysis, and optimization of hybrid systems

ACM Transactions on Modeling and Computer Simulation (TOMACS)
What is in a Step: On the Semantics of Statecharts

TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Timed and Hybrid Statecharts and Their Textual Representation

Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
A Comparison of Statecharts Variants

ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Some of the mathematical difficulties when modeling and simulate engineering systems arrive from the different time scales of the several components involved. However, in some situations, the behavior of fast components in the system may be modeled with instantaneous changes. This lead to a variable structure DAEs with their activity governed by a set of events. This paper explores the use of the Hybrid Statecharts graphical formalism to describe systems with continuous and discrete behavior. Being a multi level formalism, the Statecharts hierarchy mechanisms are particularly important to model complex systems as are normally the case of engineering systems. Throughout the article examples are presented trying to evidence the Statecharts formalism capabilities to describe hybrid behavior.