Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||