Towards Computing Phase Portraits of Polygonal Differential Inclusions
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Computing invariance kernels of polygonal hybrid systems
Nordic Journal of Computing
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools
Theoretical Computer Science
A partial order approach to discrete dynamic feedback in a class of hybrid systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Computation and visualisation of phase portraits for model checking SPDIs
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Static analysis for state-space reduction of polygonal hybrid systems
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Bounded amplitude performance of switched LPV systems with applications to hybrid systems
Automatica (Journal of IFAC)
Automatica (Journal of IFAC)
| Hi-index | 0.01 |