Description| People| Publications
Description
CASH (Compositional Analysis and Specification of Hybrid Systems) is a research project supported by the Netherlands Foundation for Scientific Research (NWO). It aims to develop a compositional theory for the specification and analysis of hybrid systems.
Hybrid systems are systems with interacting discrete and continuous dynamics, e.g. embedded software for process control, as becoming more and more important in computer science and control theory. It is a collaborative project between the FMT group and the Systems, Signals and Control group of the Faculty of Mathematical Sciences at the University of Twente. The project seeks to integrate formal methods from computer science, such as (timed, hybrid) automata and process algebras with concepts from control theory, such as differential-algebraic equations. The project will also address the issue of tool support for the specification and analysis of hybrid systems.
Project description in postscript and pdf formats.
<< topPeople
Current participants of CASH project:
- prof.dr. Ed Brinksma
- prof.dr. A.J. van der Schaft
- dr.ir. Rom Langerak
- dr. Jan Willem Polderman
- ph.d. Anak Agung Julius
- Tomas Krilavičius
Publications
- Ed Brinksma, Tomas Krilavičius, Yaroslav Usenko, Behavioural Hybrid Process Calculus, draft of technical report pdf bib
- A. A. Julius and A. J. van der Schaft, Compatibility of Behavior Interconnections, Proc. European Control Conf.,2003, IEE, Cambridge, UK
- A. A. Julius and S. N. Strubbe and A. J. van der Schaft, Control of Hybrid Behavioral Automata by Interconnection, Proc. IFAC Conf. Analysis and Design of Hybrid Systems, 2003, IFAC, June 16-18, Saint Malo, Brittany, France, pp. 135-140.
- J. C. Willems and M. N. Belur and A. A. Julius and H. L. Trentelman, The Canonical Controller and its Regularity, Proc. 42nd IEEE Conf. Decision and Control, 2003, to appear.
- Biniam Gebremichael, Tomas Krilavičius, Yaroslav Usenko, A formal model of a car periphery supervision system in UPPAAL, Proceedings of Workshop on Discrete Event Systems (WODES'04), pp. 433-438, September 22-24, 2004, Reims, France HTML bib
- Rom Langerak, Jan Willem Polderman, Tomas Krilavičius, Stability Analysis for Hybrid Automata Using Conservative Gains, Proceedings of Conference on Analysis and Design of Hybrid Systems (ADHS 03), pages 377-382, June 16-18, 2003, Saint-Malo, Brittany, France ps bib
- Biniam Gebremichael, Holger Hermanns, Tomas Krilavičius, Yaroslav Usenko, Hybrid Modeling of a Vehicle Surveillance System with Real-Time Data Processing: A Case Study on Pre-Crash Detection, Proceedings of International Conference on Dynamical System Modelling and Stability Investigation, page 420, Kyiv, Ukraine, May 27-30, 2003 bib
- Rom Langerak, Jan Willem Polderman, Tomas Krilavičius, Stability Analysis for Hybrid Automata Using Optimal Lyapunov Functions, Proceedings of International Conference on Dynamical System Modelling and Stability Investigation, page 420, Kyiv, Ukraine, May 27-30, 2003 bib
- Biniam Gebremichael, Tomas Krilavičius, Yaroslav Usenko, A Formal Analysis of a Car Periphery Supervision System, NIII report NIII-R0418 bib
- A. J. van der Schaft and A. A. Julius, Achievable Behavior by Composition, Proceedings 41st IEEE Conf. Decision and Control, 2002, IEEE, Las Vegas, 7-12.
- A. A. Julius and A. J. van der Schaft, The maximal controlled invariant sets of switched linear systems, Proc. 41st IEEE Conf. Decision and Control,2002, IEEE, Las Vegas,3174-3179