Statecharts: A visual formalism for complex systems
Science of Computer Programming
Formal Verification of Dynamic Properties in an Aerospace Application
Formal Methods in System Design
Information and Computation
Model Checking Large Software Specifications
IEEE Transactions on Software Engineering
Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller
AMAST '96 Proceedings of the 5th International Conference on Algebraic Methodology and Software Technology
Formal Development of Reactive Systems - Case Study Production Cell
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Verification of Hybrid Systems Using Abstractions
Hybrid Systems II
A New Class of Decidable Hybrid Systems
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Hierarchical Conditional Dependency Graphs for Mutual Exclusiveness Identification
VLSID '99 Proceedings of the 12th International Conference on VLSI Design - 'VLSI for the Information Appliance'
MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded systems evolution
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Hi-index | 0.00 |
This article presents an approach to simulating hybrid systems. We show how a discrete controller that controls a continuous environment can be co-simulated with the environment (plant) using C-code generated automatically from mathematical models. This approach uses SIGNAL with SIMULINK to model complex hybrid systems. The choices are motivated by the fact that SIGNAL is a powerful tool for modelling complex discrete behaviours and SIMULINK is well-suited to deal with continuous dynamics. In particular, progress in formal analysis of SIGNAL programs and the common availability of the Simulink tool makes these an interesting choice for combination. We present various alternatives for implementing communication between the underlying sub-models. Finally, we present interesting scenarios in the co-simulation of a discrete controller with its environment: a non-linear siphon pump originally designed by the Swedish engineer Christofer Polhem in 1697.