Verifying average dwell time of hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
Quantified differential invariants
Proceedings of the 14th international conference on Hybrid systems: computation and control
Discrete Event Dynamic Systems
Hi-index | 0.00 |