Statecharts: A visual formalism for complex systems
Science of Computer Programming
Mathematical control theory: deterministic systems
Mathematical control theory: deterministic systems
Real-time object-oriented modeling
Real-time object-oriented modeling
Theoretical Computer Science
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Smile—a simulation environment for energy systems
Systems Analysis Modelling Simulation
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
WSC '96 Proceedings of the 28th conference on Winter simulation
Modularity for Timed and Hybrid Systems
CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
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 Modular Visual Model for Hybrid Systems
FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Hybrid Systems
An Extended Duration Calculus for Hybrid Real-Time Systems
Hybrid Systems
Using HYTECH to Verify an Automative Control System
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
Integration of The Discrete and The Continuous Behaviour in the Hybrid xSimulator
Proceedings of the 12th European Simulation Multiconference on Simulation - Past, Present and Future
ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
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
CSD '98 Proceedings of the 1998 International Conference on Application of Concurrency to System Design
Journal of Computer and System Sciences
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
A compositional modelling and analysis framework for stochastic hybrid systems
Formal Methods in System Design
| Hi-index | 0.00 |
Visual description techniques are particularly important for the design of hybrid systems, because specifications of such systems usually have to be discussed between engineers from a number of different disciplines. Modularity is vital for hybrid systems not only because it allows to handle large system, but also because it permits to think in terms of components, which is familiar to engineers.Based on two different interpretations for hierarchic graphs and on a clear hybrid computation model, we develop HyCharts. HyCharts consist of two modular visual formalisms, one for the specification of the architecture and one for the specification of the behavior of hybrid systems. The operators on hierarchic graphs enable us to give a surprisingly simple denotational semantics for many concepts known from statechart-like formalisms. Due to a very general composition operator, HyCharts can easily be composed with description techniques from other engineering disciplines. Such heterogeneous system specifications seem to be particularly appropriate for hybrid systems because of their interdisciplinary character.