Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Well-Posedness of a Class of Piecewise Linear Systems with No Jumps
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Stability of Hybrid Systems Using LMIs - A Gear-Box Application
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
The Substratum of Impulse and Hybrid Control Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Hybrid Modeling of TCP Congestion Control
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Dynamical properties of hybrid systems simulators
Automatica (Journal of IFAC)
Logic and compositional verification of hybrid systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
WABI'11 Proceedings of the 11th international conference on Algorithms in bioinformatics
Modelling and control of a flying robot interacting with the environment
Automatica (Journal of IFAC)
Differential dynamic logics: automated theorem proving for hybrid systems
Differential dynamic logics: automated theorem proving for hybrid systems
A feedback control motivation for generalized solutions to hybrid systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Brief Cyclic linear differential automata: a simple class of hybrid dynamical systems
Automatica (Journal of IFAC)
Controllers for reachability specifications for hybrid systems
Automatica (Journal of IFAC)
Robustness of trajectories with finite time extent
Automatica (Journal of IFAC)
Solutions to hybrid inclusions via set and graphical convergence with stability theory applications
Automatica (Journal of IFAC)
A logical DES approach to the design of hybrid control systems
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.01 |