Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
A state event detection algorithm for numerically simulating hybrid systems with model singularities
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Safety verification of hybrid systems by constraint propagation-based abstraction refinement
ACM Transactions on Embedded Computing Systems (TECS)
Verifying average dwell time of hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
Reachability analysis of nonlinear systems using conservative approximation
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Safety verification of hybrid systems by constraint propagation based abstraction refinement
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
| Hi-index | 0.00 |