Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations
Discrete Event Dynamic Systems
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Computing Controllers for Nonlinear Hybrid Systems
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Ellipsoidal Techniques for Reachability Analysis
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Design, Simulation, and Implementation of Hybrid Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Continuity and computability of reachable sets
Theoretical Computer Science
Algorithmic analysis of polygonal hybrid systems, part I: Reachability
Theoretical Computer Science
Taylor approximation for hybrid systems
Information and Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient representation and computation of reachable sets for hybrid systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
A dynamic algorithm for approximate flow computations
Proceedings of the 14th international conference on Hybrid systems: computation and control
Semantics and Computability of the Evolution of Hybrid Systems
SIAM Journal on Control and Optimization
Safety verification of non-linear hybrid systems is quasi-semidecidable
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
Taylor approximation for hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Limited-information control of hybrid systems via reachable set propagation
Proceedings of the 16th international conference on Hybrid systems: computation and control
Abstraction based model-checking of stability of hybrid systems
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Safety verification of non-linear hybrid systems is quasi-decidable
Formal Methods in System Design
Hi-index | 0.00 |