Abstract
This chapter presents a trajectory-based perspective in solving safety/ reachability analysis and synthesis problems and fault diagnosability analysis in hybrid systems. The main tool used in obtaining the results presented in this chapter is the concept of trajectory robustness, which is derived from the theory of approximate bisimulation. Trajectory robustness essentially provides a guarantee on how far the system’s state trajectories can deviate (in \(L_{\infty }\) norm) as a result of initial state variations. It further leads to the possibility of approximating the set of the system’s trajectories, which is infinite, with a finite set of trajectories. This fact, in turns, allows us to pose the above problems as finitely many finite problems that can be practically solved. In addition, these finite problems can be solved in parallel.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
For simplicity, in this chapter we do not consider nondeterminism and stochasticity in the hybrid system dynamics.
- 2.
We assume that Init and Unsafe do not intersect. Otherwise, the problem is trivial.
References
A.J. van der Schaft, J.M. Schumacher, An Introduction to Hybrid Dynamical Systems (Springer, London, 2000)
P. Tabuada, G.J. Pappas, P. Lima, Compositional abstractions of hybrid control systems. Discrete Event Dyn. Syst. 14(2), 203–238 (2005). April
R. Alur, R. Grosu, I. Lee, O. Sokolsky, Compositional modeling for refinement for hierarchical hybrid systems. J. Logic Algebraic Program. 68(1–2), 105–128 (2006)
J. Hu, Application of Stochastic Hybrid Systems in Power Management of Streaming Data, in Proceedings of American Control Conference, Minneapolis, USA (2006)
C. Kossentini, P. Caspi, Approximation, Sampling and Voting in Hybrid Computing Systems, in HSCC 2006, vol. 3927, LNCS, ed. by J.P. Hespanha, A. Tiwari (Springer, Heidelberg, 2006), pp. 363–376
J. Kapinski, A. Donzé, F. Lerda, H. Maka, S. Wagner, B.H. Krogh, Control Software Model Checking Using Bisimulation Functions for Nonlinear Systems, in Proceedings of IEEE Conference Decision and Control, Cancun, Mexico (2008)
R. Alur, G. Weiss, Regular Specifications of Resource Requirements for Embedded Control Software, in Proceedings of 14th IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 159–168 (2008)
R. Alur, A. D’Innocenzo, K. Johansson, G. Pappas, G. Weiss, Modeling and Analysis of Multi-hop Control Networks, in Proceedings of 15th IEEE Real-Time and Embedded Technology and Applications Symposium (2009)
C. Tomlin, G.J. Pappas, S. Sastry, Conflict resolution for air traffic management: a study in multi-agent hybrid systems. IEEE Trans. Autom. Control 43(4), 509–521 (1998)
N. Lynch, High-level Modeling Andanalysis of An Air-traffic Management System, in Hybrid Systems: Computation and Control, ser. LNCS, vol. 1589. Springer, p. 3 (1999)
M. Prandini, J. Hu, J. Lygeros, S. Sastry, A probabilistic approach to aircraft conflict detection. IEEE Trans. Intell. Transp. Syst. 1(4), 199–220 (2000)
J. Hu, M. Prandini, S. Sastry, Probabilistic Safety Analysis in Three Dimensional Aircraft Flight, in Proceedings of 42nd IEEE Conference Decision and Control, Maui, USA, pp. 5335–5340 (2003)
A. Bayen, P. Grieder, G. Meyer, C. Tomlin, Lagrangian delay predictive model for sector-based air traffic flow. AIAA J. Guidance Control. Dyn. 28(5), 1015–1026 (2005)
H.A.P. Blom, J. Krystul, G.J. Bakker, A Particle System for Safety Verification of Free Flight in Air Traffic, in Proceedings of IEEE Conference Decision and Control, San Diego, USA (2006)
J. Lygeros, N. Lynch, Strings of Vehicles: Modeling and Safety Conditions, in Hybrid Systems: Computation and Control, ser. LNCS, vol. 1386. Springer, pp. 273–288 (1998)
A. Fehnker, Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets, in Hybrid Systems: Computation and Control, ser. LNCS, vol. 1386. Springer, pp. 110–125, (1998)
A. Balluchi, F.D. Natale, A.L. Sangiovanni-Vincentelli, J.H. van Schuppen, Synthesis for Idle Speed Control of an Automotive Engine, in HSCC 2004, vol. 2993, LNCS, ed. by R. Alur, G.J. Pappas (Springer, Heidelberg, 2004), pp. 80–94
T. Dang, A. Donzé, O. Maler, Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques, in FMCAD 2004, vol. 3312, LNCS, ed. by A.J. Hu, A.K. Martin (Springer, Heidelberg, 2004), pp. 21–36
G. Frehse, PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech, in HSCC 2005, vol. 3414, LNCS, ed. by M. Morari, L. Thiele (Springer, Heidelberg, 2005), pp. 258–273
G. Frehse, B.H. Krogh, R.A. Rutenbar, O. Maler, Time domain verification of oscillator circuit properties. Electron. Notes Theoret. Comput. Sci. 153(3), 9–22 (2006)
G. Batt, B. Yordanov, R. Weiss, C. Belta, Robustness analysis and tuning of synthetic gene networks. Bioinformatics 23(18), 2415–2422 (2007)
S. Drulhe, G. Ferrari-Trecate, H. de Jong, The switching threshold reconstruction problem for piecewise affine models of genetic regulatory networks. IEEE Trans. Autom. Control 53(1), 153–165 (2008)
E. Cinquemani, A. Milias-Argeitis, S. Summers, J. Lygeros, Local Identification of Piecewise Deterministic Models of Genetic Networks, in HSCC 2009, vol. 5469, LNCS, ed. by R. Majumdar, P. Tabuada (Springer, Heidelberg, 2009), pp. 105–119
K. Amonlirdviman, N.A. Khare, D.R.P. Tree, W.-S. Chen, J.D. Axelrod, C.J. Tomlin, Mathematical modeling of planar cell polarity to understand domineering nonautonomy. Science 307(5708), 423–426 (2005)
M.L. Bujorianu, J. Lygeros, Reachability Questions in Piecewise Deterministic Markov Processes, in HSCC 2003, vol. 2623, LNCS, ed. by O. Maler, A. Pnueli (Springer, Heidelberg, 2003), pp. 126–140
A. Abate, S. Amin, M. Prandini, J. Lygeros, S.S. Sastry, Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems, in HSCC 2007, vol. 4416, LNCS, ed. by A. Bemporad, A. Bicchi, G. Buttazzo (Springer, Heidelberg, 2007), pp. 4–17
G. Batt, C. Belta, R. Weiss, Temporal logic analysis of gene networks under parameter uncertainty. IEEE Trans. Autom. Control 53(1), 215–229 (2008)
D. Riley, X. Koutsoukos, K. Riley, Modeling and analysis of the sugar cataract development process using stochastic hybrid systems. IET Syst. Biol. 3(3), 137–154 (2009)
E. De Santis, M.D. Di Benedetto, Editorial: observability and observer-based control of hybrid systems. Int. J. Robust. Nonlinear Control 19, 1519–1520 (2009)
F. Zhao, X. Koutsoukos, H. Haussecker, J. Reich, P. Cheung, Monitoring and fault diagnosis of hybrid systems. IEEE Trans. Syst. Man Cybern. Part B 35(6), 1225–1240 (2005)
N. Olivier-Maget, G. Hetreux, J.M. Le Lann, M.V. Le Lann, Model-based fault diagnosis for hybrid systems: application on chemical processes. Comput. Chem. Eng. 33(10), 1617–1630 (2009)
A. Girard, G.J. Pappas, Approximate Bisimulation for Constrained Linear Systems, in Proceedings of the IEEE Conference Decision and Control, Seville, Spain (2005)
A. Girard, G.J. Pappas, Approximation metrics for discrete and continuous systems. IEEE Trans. Autom. Control 52(5), 782–798 (2007)
A. Girard, A.A. Julius, G.J. Pappas, Approximate simulation relations for hybrid systems. Int. J. Discrete Event Dyn. Syst. 18, 163–179 (2008)
A.A. Julius, Approximate Abstraction of Stochastic Hybrid Automata, in HSCC 2006, vol. 3927, LNCS, ed. by J.P. Hespanha, A. Tiwari (Springer, Heidelberg, 2006), pp. 318–332
A.A. Julius, A. Girard, G.J. Pappas, Approximate Bisimulation for a Class of Stochastic Hybrid Systems, in Proceedings of American Control Conference, Minneapolis, USA (2006)
A.A. Julius, G.J. Pappas, Approximate abstraction of stochastic hybrid systems. IEEE Trans. Autom. Control 54(6), 1193–1203 (2009)
A.A. Julius, G.E. Fainekos, M. Anand, I. Lee, G.J. Pappas, Robust Test Generation and Coverage for Hybrid Systems, in HSCC 2007, vol. 4416, LNCS, ed. by A. Bemporad, A. Bicchi, G. Buttazzo (Springer, Heidelberg, 2007), pp. 329–342
A.A. Julius, G.J. Pappas, Trajectory Based Verification Using Local Finite-Time Invariance, in HSCC 2009, vol. 5469, LNCS, ed. by R. Majumdar, P. Tabuada (Springer, Heidelberg, 2009), pp. 223–236
W. Lohmiller, J.J.E. Slotine, On contraction analysis for nonlinear systems. Automatica 34(6), 683–696 (1998)
S. Prajna, A. Papachristodoulou, P. Seiler, P.A. Parillo, SOSTOOLS and its Control Application, in Positive Polynomials In Control. Springer (2005)
Y. Deng, A. Rajhans, A.A. Julius, STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems, in QEST 2013, vol. 8054, LNCS, ed. by K. Joshi, M. Siegle, M. Stoelinga, P.R. D’Argenio (Springer, Heidelberg, 2013), pp. 165–168
Y. Deng, A.A. Julius, Safe Neighborhood Computation for Hybrid System Verification, in Proceedings of 4th Workshop on Hybrid Autonomous Systems, ser. Electronic Proceedings in Theoretical Computer Science, vol. 174. Springer, pp. 1–12 (2014)
J.W. Polderman, J.C. Willems, Introduction to Mathematical Systems Theory: a Behavioral Approach (Springer, New York, 1998)
M.D. Di Benedetto, S. Di Gennaro, A. D’Innocenzo, Discrete state observability of hybrid systems. Int. J. Robust. Nonlinear Control 19, 1564–1580 (2009)
Y. Deng, A.D’Innocenzo, S. Di Gennaro, M.D. Di Benedetto, A.A. Julius, Verification of hybrid automata diagnosability with measurement uncertainty, provisionally accepted to the IEEE Trans. Autom. Control (2015)
Y. Deng, A. D’Innocenzo, A.A. Julius, Probabilistic Diagnosability of Hybrid Systems, in Proceedings of ACM 18th International Conference Hybrid Systems: Computation and Control, Seattle, WA, pp. 88–97 (2015)
A.A. Julius, Trajectory-based Controller Design for Hybrid Systems with Affine Continuous Dynamics, in Proceedings of IEEE Conference Automation Science and Engineering, Toronto, Canada, pp. 1007–1012 (2010)
A.A. Julius, S. Afshari, Using Computer Games for Hybrid Systems Controller Synthesis, in Proceedings of 49th IEEE Conference Decision and Control. Atlanta, Georgia, pp. 5887–5892 (2010)
Z. Artstein, Stabilization with relaxed controls. Nonlinear Anal. 15(11), 1163–1170 (1983)
E.D. Sontag, A ‘universal’ construction of Artstein’s theorem on nonlinear stabilization. Syst. Control Lett. 13(2), 117–123 (1989)
W.L. Brogan, Modern Control Theory (Prentice Hall International, New Jersey, 1991)
B. Friedland, Control System Design: an Introduction to State-Space Methods. Dover (2005)
S. Boyd, L. El Ghaoui, E. Feron, V. Balakrishnan, Linear Matrix Inequalities in Systems and Control Theory (SIAM, Philadelphia, 1994)
A.K. Winn, A.A. Julius, Feedback Control Law Generation for Safety Controller Synthesis, in Proceedings of IEEE Conference Decision and Control, Florence, Italy, pp. 3912–3917 (2013)
A.A. Julius, A.K. Winn, Safety Controller Synthesis Using Human Generated Trajectories: Nonlinear Dynamics with Feedback Linearization and Differential Flatness, in Proceedings of American Control Conference, Montreal, Canada, pp. 709–714 (2012)
H. Nijmeijer, A.J. van der Schaft, Nonlinear Dynamical Control Systems (Springer Verlag, New York, 1990)
H.K. Khalil, Nonlinear Systems, 3rd edn. (Prentice Hall, 2002)
S. Saha, A.A. Julius, Trajectory-based Formal Controller Synthesis for Multi-link Robots with Elastic Joints, in Proceedings of IEEE Conference Decision and Control, Los Angeles, CA, pp. 830–835 (2014)
M.J. van Nieuwstadt, R.M. Murray, Real-time trajectory generation for differentially flat systems. Int. J. Robust Nonlinear Control 8(11), 995–1020 (1998)
J. Levine, Analysis and Control of Nonlinear Systems: a Flatness Based Approach. (Springer, 2009)
H. Sira-Ramirez, S. Agrawal, Differentially Flat Systems. (Marcel Dekker Inc., New york, 2004)
E.M. Clarke, O. Grumberg, D.A. Peled, Model Checking. (MIT Press, 1999)
S.J. Russell, P. Norvig, Artificial Intelligence: A Modern Approach. (Prentice Hall, 2003)
A.K. Winn, A.A. Julius, Optimization of Human Generated Trajectories for Safety Controller Synthesis, in Proceedings of American Control Conference, Washington DC, pp. 4374–4379 (2013)
Acknowledgments
The author wishes to acknowledge the support from the National Science Foundation through the CAREER grant CNS-0953976 and the grant CNS-1218109 for the research leading to results presented here. The results are summarized from the author’s earlier work in collaboration with George Pappas, Antoine Girard, Georgios Fainekos, Alessandro D’Innocenzo, and graduate students Sina Afshari, Andrew Winn, and Yi Deng.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Julius, A.A. (2015). Trajectory-Based Theory for Hybrid Systems. In: Camlibel, M., Julius, A., Pasumarthy, R., Scherpen, J. (eds) Mathematical Control Theory I. Lecture Notes in Control and Information Sciences, vol 461. Springer, Cham. https://doi.org/10.1007/978-3-319-20988-3_20
Download citation
DOI: https://doi.org/10.1007/978-3-319-20988-3_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-20987-6
Online ISBN: 978-3-319-20988-3
eBook Packages: EngineeringEngineering (R0)