Symbolic Reachability Computation for Families of Linear Vector Fields
Journal of Symbolic Computation
Biocomputation: modeling and analyzing biomolecular networks
Computing in Science and Engineering
Robust Control of Hybrid Systems: Performance Guided Strategies
Hybrid Systems V
Orthogonal Polyhedra: Representation and Computation
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Reach Set Computations Using Real Quantifier Elimination
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Series of Abstractions for Hybrid Automata
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Assertion-Based Analysis of Hybrid Systems with PVS
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Information granulation in automated modeling
Granular computing
Information and Computation
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 10 - Volume 11
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Invertibility of switched linear systems
Automatica (Journal of IFAC)
Hierarchical modeling of mode-switching systems
Proceedings of the 2007 Summer Computer Simulation Conference
Amir Pnueli and the dawn of hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Refining the undecidability frontier of hybrid automata
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Hi-index | 0.00 |