Approximate reachability for linear systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
A fully automated framework for control of linear systems from LTL specifications
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Generating polynomial invariants for hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Survey paper: Set invariance in control
Automatica (Journal of IFAC)
Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Generating invariants for non-linear hybrid systems by linear algebraic methods
SAS'10 Proceedings of the 17th international conference on Static analysis
| Hi-index | 0.00 |
Box invariant sets are box-shaped positively invariant sets. We show that box invariants are computable for a large class of nonlinear and hybrid systems. The technique for computing these invariants is based on nonlinear constraint solving. This paper also shows that the class of multiaffine systems, which has been used successfully for modeling and analyzing regulatory and biochemical reaction networks, can be generalized to the class of monotoneand quasi-monotonesystems without losing any of its nice properties.