Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Safety verification of hybrid systems by constraint propagation-based abstraction refinement
ACM Transactions on Embedded Computing Systems (TECS)
Abstractions for hybrid systems
Formal Methods in System Design
Quantified differential invariants
Proceedings of the 14th international conference on Hybrid systems: computation and control
Necessary and sufficient conditions for reachability on a simplex
Automatica (Journal of IFAC)
Approximate abstraction of stochastic hybrid automata
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Generating polynomial invariants for hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Modeling, optimization and computation for software verification
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Uncertainty quantification in hybrid dynamical systems
Journal of Computational Physics
| Hi-index | 0.01 |