Biocomputation: modeling and analyzing biomolecular networks
Computing in Science and Engineering
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
A Framework for Reasoning about Animation Systems
IVA '01 Proceedings of the Third International Workshop on Intelligent Virtual Agents
Generating embedded software from hierarchical hybrid models
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Hybrid dynamic systems: mode transition behavior in hybrid dynamic systems
Proceedings of the 35th conference on Winter simulation: driving innovation
Approximate reachability for linear systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
A control problem for affine dynamical systems on a full-dimensional polytope
Automatica (Journal of IFAC)
| Hi-index | 0.00 |