Safety analysis of automotive control systems using multi-modal port-hamiltonian systems

HSCC 2016 - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control

Volumn , Issue , 2016, Pages 105-114

  Dai, Siyuan ^a   Koutsoukos, Xenofon ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE CONTROL SYSTEMS; ADAPTIVE CRUISE CONTROL; CONTROL SYSTEM ANALYSIS; CONTROL SYSTEMS; CRUISE CONTROL; DYNAMICS; EMBEDDED SYSTEMS; HYBRID SYSTEMS; LONGITUDINAL CONTROL; MODAL ANALYSIS; VEHICLES;

AUTOMOTIVE CONTROL SYSTEMS; AUTONOMOUS VEHICLES; CYBER PHYSICALS; CYBER-PHYSICAL SYSTEMS (CPS); LANE KEEPING CONTROL; PHYSICAL DYNAMICS; PORT-HAMILTONIAN SYSTEMS; VEHICLE DYNAMICS;

HAMILTONIANS;

EID: 84966667377     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2883817.2883845     Document Type: Conference Paper

References (19)

1. A. Ames, J. Grizzle, and P. Tabuada. Control barrier function based quadratic programs with application to adaptive cruise control. In Proceedings of the 53rd IEEE Conference of Decision and Control, Los Angeles, CA, USA, December 2014.
2. CarSim. http://www.carsim.com. Mechanical Simulation Corporation, Ann Arbor, MI, USA, 2013.
3. J. Cervera, A. van der Schaft, and A. Banos. Interconnection of port-hamiltonian systems and composition of dirac structures. Automatica, 43(2), February 2007.
4. S. Dai and X. Koutsoukos. Model-based automotive control design using port-hamiltonian systems. In International Conference on Complex Systems Engineering, Storrs, CT, USA, November 2015.
5. V. Duindam, A. Macchelli, S. Stramigioli, and H. Bruyninckx. Modeling and Control of Complex Physical Systems: The Port-Hamiltonian Approach. Springer, New York, NY, 2009.
6. E. Eyisi, Z. Zhang, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits. Model-based control design and integration of cyberphysical system: An adaptive cruise control case study. Journal of Control Science and Engineering, Special Issue on Embedded Model-Based Control, 2013.
7. K. Fujimoto and T. Sugie. Canonical transformation and stabilization of generalized hamiltonian systems. Systems and Control Letters, 42:217-227, 2001.
8. H. Khalil. Nonlinear Systems, 3rd Edition. Prentice Hall, Upper Saddle River, NJ, 2002.
9. MATLAB. Version R2012a, http://www.mathworks.com. The Mathworks, Inc., Natick, MA, USA, 2012.
10. S. Prajna. Barrier certificates for nonlinear model validation. Automatica, 42:117-126, 2006.
11. S. Prajna and A. Jadbabaie. Safety verification of hybrid systems using barrier certificates. In Hybrid Systems Computation and Control, pages 477-492, Philadelphia, PA, USA, 2004. Springer-Verlag.
12. S. Prajna, A. Jadbabaie, and G. Pappas. A framework for worst-case and stochastic safety verification using barrier certificates. IEEE Transactions on Automatic Control, 52(8):1415-1428, August 2007.
13. S. Prajna, A. Papachristodoulou, and P. Parrilo. Introducing sostools: A general purpose sum of squares programming solver. In Proceedings of the IEEE Conference on Decision and Control, Las Vegas, NV, USA, 2002.
14. S. Prajna and A. Rantzer. Primal-dual tests for safety and reachability. In Hybrid Systems Computation and Control, pages 542-556, Zurich, Switzerland, 2005. Springer-Verlag.
15. R. Rajamani. Vehicle Dynamics and Control. Springer, New York, NY, 2006.
16. C. Sloth, G. Pappas, and R. Wisniewski. Compositional safety analysis using barrier certificates. In Hybrid System Computation and Control, Beijing, China, April 2012.
17. J. Sztipanovits, X. Koutsoukos, G. Karsai, N. Kottenstette, P. Antsaklis, V. Gupta, B. Goodwine, J. Baras, and S. Wang. Toward a science of cyber-physical system integration. Proceedings of IEEE, 100:29-44, January 2012.
18. 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.
19. 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.