Simulation of Mechatronic Systems using Behavioural Hybrid Process Calculus (2008)
Omnipresence of computers increased software reliability requirements considerably. Consequently, it stimulated interest in formal modelling and analysis of diverse computer systems, among which...
Study of Tools Interoperability (2007)
Interoperability of tools usually refers to a combination of methods and techniques that address the problem of making a collection of tools to work together. In this study we survey different...
Stability Analysis for Hybrid Automata Using Conservative Gains (2003)
Langerak, R., Polderman, J.W., Krilavičius, T.
This paper presents a stability analysis approach for a class of hybrid automata. It is assumed that the dynamics in each location of the hybrid automaton is linear and asymptotically stable, and...