A. Inventarisatie onderzoekproducten 2003<< top
- 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
Hybrid systems are systems with interacting discrete and continuous dynamics, as becoming more and more important in computer and systems engineering ("embedded systems", "multi-modal systems", "switching controllers"). The main aim of the project is to develop a well-defined compositional formalism for the specification and analysis of hybrid systems. This means that complex hybrid systems are efficiently described and designed as a (large number of) interacting hybrid system components. In line with a strong international trend for cooperation between computer scientists and control engineers on this topic, the project is carried out in collaboration between computer science (UT-INF) and mathematics (UT-TW). In particular, the project aims at combining the expertise on the process algebraic specification of discrete systems within formal methods research in computer science with the knowledge on continuous systems as available in mathematical systems theory. Furthermore, interesting subclasses of hybrid systems are identified that allow for algorithmic tool support, either with the aid of existing or future tool environments.<< top