An asynchronous integration and event detection algorithm for simulating multi-agent hybrid systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Abstractions for hybrid systems
Formal Methods in System Design
Verifying average dwell time of hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
Amir Pnueli and the dawn of hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Differential dynamic logics: automated theorem proving for hybrid systems
Differential dynamic logics: automated theorem proving for hybrid systems
Hi-index | 0.00 |