EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Author: Krilavičius, T.
Home Policy Brochure Browse Search User Area Contact Help

2007

Krilavičius, T. (2007) Study of Tools Interoperability. Technical Report TR-CTIT-07-01, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

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

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

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