Symbolic Reachability Computation for Families of Linear Vector Fields
Journal of Symbolic Computation
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems
HSCC '00 Proceedings of the Third 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
Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Information and Computation
Hybrid dynamic systems: mode transition behavior in hybrid dynamic systems
Proceedings of the 35th conference on Winter simulation: driving innovation
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Approximate reachability for linear systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Safety verification of hybrid systems by constraint propagation based abstraction refinement
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
The timer cascade: functional modelling and real time calculi
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
A control problem for affine dynamical systems on a full-dimensional polytope
Automatica (Journal of IFAC)
| Hi-index | 0.00 |