Authors

Siyuan Dai, Xenofon Koutsoukos

Abstract

Safety analysis is important when designing and developing cyber-physical systems (CPS). An autonomous vehicle can be described as a complex CPS where the physical dynamics of the vehicle interact with the control systems. The challenge is ensuring safety despite nonlinearities, hybrid dynamics, and disturbances as well as complex cyber-physical interactions. In this paper, we present an approach for the safety analysis of automotive control systems using multimodal port-Hamiltonian systems (PHS). The approach uses the Hamiltonian function to represent the energy of the safe and unsafe states and employs passivity to prove that trajectories that begin in safe regions cannot enter unsafe regions. We first apply the approach to the safety analysis of a longitudinal vehicle dynamics composed with an adaptive cruise control (ACC) system. We then extend the results to the safety analysis of a combined longitudinal and lateral vehicle dynamics composed with an ACC and lane keeping control (LKC) system. Simulation results are presented to demonstrate the approach.

Citation

  • Journal: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control
  • Year: 2016
  • Volume:
  • Issue:
  • Pages: 105–114
  • Publisher: ACM
  • DOI: 10.1145/2883817.2883845

BibTeX

@inproceedings{Dai_2016,
  series={HSCC’16},
  title={{Safety Analysis of Automotive Control Systems Using Multi-Modal Port-Hamiltonian Systems}},
  DOI={10.1145/2883817.2883845},
  booktitle={{Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control}},
  publisher={ACM},
  author={Dai, Siyuan and Koutsoukos, Xenofon},
  year={2016},
  pages={105--114},
  collection={HSCC’16}
}

Download the bib file

References

  • Ames AD, Grizzle JW, Tabuada P (2014) Control barrier function based quadratic programs with application to adaptive cruise control. In: 53rd IEEE Conference on Decision and Control. IEEE, pp 6271–6278 – 10.1109/cdc.2014.7040372
  • CarSim. http://www.carsim.com. Mechanical Simulation Corporation, Ann Arbor, MI, USA, 2013.
  • Cervera J, van der Schaft AJ, Baños A (2007) Interconnection of port-Hamiltonian systems and composition of Dirac structures. Automatica 43(2):212–225. https://doi.org/10.1016/j.automatica.2006.08.014 – 10.1016/j.automatica.2006.08.014
  • Dai S, Koutsoukos X (2015) Model-based automotive control design using port-Hamiltonian systems. In: 2015 International Conference on Complex Systems Engineering (ICCSE). IEEE, pp 1–6 – 10.1109/complexsys.2015.7385987
  • 10.5555/2765781
  • Eyisi E, Zhang Z, Koutsoukos X, Porter J, Karsai G, Sztipanovits J (2013) Model-Based Control Design and Integration of Cyberphysical Systems: An Adaptive Cruise Control Case Study. Journal of Control Science and Engineering 2013:1–15. https://doi.org/10.1155/2013/678016 – 10.1155/2013/678016
  • Fujimoto K, Sugie T (2001) Canonical transformation and stabilization of generalized Hamiltonian systems. Systems & Control Letters 42(3):217–227. https://doi.org/10.1016/s0167-6911(00)00091-8 – 10.1016/s0167-6911(00)00091-8
  • H. Khalil. Nonlinear Systems, 3rd Edition. Prentice Hall, Upper Saddle River, NJ, 2002.
  • MATLAB. Version R2012a, http://www.mathworks.com. The Mathworks, Inc., Natick, MA, USA, 2012.
  • Prajna S (2006) Barrier certificates for nonlinear model validation. Automatica 42(1):117–126. https://doi.org/10.1016/j.automatica.2005.08.007 – 10.1016/j.automatica.2005.08.007
  • Prajna S, Jadbabaie A (2004) Safety Verification of Hybrid Systems Using Barrier Certificates. In: Lecture Notes in Computer Science. Springer Berlin Heidelberg, Berlin, Heidelberg, pp 477–492 – 10.1007/978-3-540-24743-2_32
  • Prajna S, Jadbabaie A, Pappas GJ (2007) A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates. IEEE Trans Automat Contr 52(8):1415–1428. https://doi.org/10.1109/tac.2007.902736 – 10.1109/tac.2007.902736
  • Prajna S, Papachristodoulou A, Parrilo PA (2003) Introducing SOSTOOLS: a general purpose sum of squares programming solver. In: Proceedings of the 41st IEEE Conference on Decision and Control, 2002. IEEE, pp 741–746 – 10.1109/cdc.2002.1184594
  • Prajna S, Rantzer A (2005) Primal–Dual Tests for Safety and Reachability. In: Lecture Notes in Computer Science. Springer Berlin Heidelberg, Berlin, Heidelberg, pp 542–556 – 10.1007/978-3-540-31954-2_35
  • R. Rajamani. Vehicle Dynamics and Control. Springer, New York, NY, 2006.
  • Sloth C, Pappas GJ, Wisniewski R (2012) Compositional safety analysis using barrier certificates. In: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control. ACM, New York, NY, USA, pp 15–24 – 10.1145/2185632.2185639
  • Sztipanovits J, Koutsoukos X, Karsai G, Kottenstette N, Antsaklis P, Gupta V, Goodwine B, Baras J, Shige Wang (2012) Toward a Science of Cyber–Physical System Integration. Proc IEEE 100(1):29–44. https://doi.org/10.1109/jproc.2011.2161529 – 10.1109/jproc.2011.2161529
  • A. van der Schaft. Port-hamiltonian systems: Network modeling and control of nonlinear physical systems. In Advanced Dynamics and Control of Structures and Machines. CISM Courses and Lectures No. 444, CISM International Centre for Mechanical Sciences, pages 127–168, New York, NY, USA, 2004. Springer.
  • P. Wu M. McCourt and P. Antsaklis. Experimentally determining passivity indices: Theory and simulation. In ISIS Technical Report ISIS-2013-002 University of Notre Dame April 2013.