Open Access Open Access  Restricted Access Subscription Access

Safety Analysis of a Class of Timed Automata Hybrid Systems with SOS

Noorma Y. Megawati, Indah Emilia


In this paper we investigate safety analysis or reachability of timed automata hybrid systems as an extension of safety analysis of linear systems. The safety verification problem of linear system with certain eigen-structure will be
converted to an emptiness problem for semi-algebraic set. Sum of squares (SOS) decomposition will be used to check the emptiness of the set. Suppose given sets of the initial state at mode i and terminal set at mode i +1. The safety analysis is solved by determining the solution of the differential solution at mode i and the solution of the mode i at the discrete occurrence. This solution then becomes the initial condition of the next mode i +1 and analysis by using the safety analysis.

Full Text:



M.S. Branicky, V.S. Borkar and S.K. Mitter, ”A Unified Framework for Hybrid Control: Model and Optimal Control”, IEEE Trans on Automatic Control, Vol. 43, pp. 31-45, 1998.

E.Joelianto and D.Williamson, ”Stability of Impulsive Dynamical System”, Proc of 37th IEEE Conference on Decision and Control, pp. 3717-3722, 1998.

D. Liberzon, Switching in Systems and Control, Kluwer Academic, US, 2007.

E. Joelianto and H.Y. Sutarto, “Controlled Switching Dynamical Systems using Linear Impulsive Differential Equations”, in Budiyono, A., B. Riyanto, E. Joelianto, (Eds), 2009, Intelligent Unmanned Systems: Theory

and Applications, Studies on Computational Intelligence, Vol. 192, Springer, Berlin-Germany, pp. 227-244, 2009.

H.Y. Sutarto, A. Budiyono, E. Joelianto and G.T. Hiong, “Switched Linear Control of A Model Helicopter”, Proceeding ICARCV 2006, Singapore, pp. 1300-1307, 2006.

H. Yazarel and G.J. Pappas, “Geometric Programming Relaxations for Linear System Reachability”, Proceeding American Control Conference, pp. 553 – 559, 2004.



  • There are currently no refbacks.