Minimization methods for non-differentiable functions
Minimization methods for non-differentiable functions
Box invariance in biologically-inspired dynamical systems
Automatica (Journal of IFAC)
Control of wind turbines: past, present, and future
ACC'09 Proceedings of the 2009 conference on American Control Conference
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Reachability analysis of nonlinear analog circuits through iterative reachable set reduction
Proceedings of the Conference on Design, Automation and Test in Europe
Exponential-Condition-Based barrier certificate generation for safety verification of hybrid systems
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Hi-index | 0.00 |
This paper proposes a compositional method for verifying the safety of a dynamical system, given as an interconnection of subsystems. The safety verification is conducted by the use of the barrier certificate method; hence, the contribution of this paper is to show how to obtain compositional conditions for safety verification. We show how to formulate the verification problem, as a composition of coupled subproblems, each given for one subsystem. Furthermore, we show how to find the compositional barrier certificates via linear and sum of squares programming problems. The proposed method makes it possible to verify the safety of higher dimensional systems, than the method for centrally computed barrier certificates. This is demonstrated by verifying the safety of an emergency shutdown of a wind turbine.