EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

Research Project: CASH: Compositional Analysis and Specification of Hybrid Systems

Home Policy Brochure Browse Search User Area Contact Help

2007

Khusainov, D. and Langerak, R. and Kuzmych, O. (2007) Estimations of solutions convergence of hybrid systems consisting of linear equations with delay. Nonlinear dynamics and systems theory, 7 (2). pp. 169-186. ISSN 1562-8353

2006

Krilavičius, T. (2006) Hybrid Techniques for Hybrid Systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 06-90 ISBN 90-365-2397-4

Langerak, R. and Kuzmych, O. (2006) Estimations of solutions convergence of hybrid systems with delay. In: Conference on Differential and Difference Equations and Applications CDDEA 2006, June 26–30, 2006, Zilina, Slovensko. pp. 30-31. Faculty of Science, University of Zilina. ISBN 80-8070-563-1

2005

Brinksma, H. and Krilavičius, T. (2005) Behavioural Hybrid Process Calculus. Technical Report TR-CTIT-05-45, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Brinksma, H. and Krilavičius, T. and Usenko, Y.S. (2005) A process-algebraic approach to hybrid systems. In: 16th IFAC World Congress, 3-8 Jul 2005, Prague, Czech Republic. IFAC. ISBN 008045108X

Langerak, R. and Polderman, J.W. (2005) Tools for Stability of Switching Linear Systems: Gain Automata and Delay Compensation. In: 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005, 12-15 Dec 2005, Sevilla, Spain. pp. 4867-4872. IEEE Computer Society. ISBN 0-7803-9567-0

2003

Langerak, R. and Polderman, J.W. and Krilavičius, T. (2003) Stability Analysis for Hybrid Automata Using Conservative Gains. In: IFAC Conference on Analysis and Design of Hybrid Systems ADHS03, 16-18 June 2003, Saint-Malo, France. pp. 377-382. ISBN not assigned