Automated Verification of Switched Systems Using Hybrid Identification

Conference paper

DOI: 10.1007/978-3-319-51738-4_7

Volume 10107 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Schwab S., Holzmüller B., Hohmann S. (2017) Automated Verification of Switched Systems Using Hybrid Identification. In: Berger C., Mousavi M., Wisniewski R. (eds) Cyber Physical Systems. Design, Modeling, and Evaluation. CyPhy 2016. Lecture Notes in Computer Science, vol 10107. Springer, Cham

Abstract

Verification of switched systems has to include the continuous trajectories as well as the discrete states of the system. For strongly interconnected systems with mutual dependencies it is not sufficient to verify the two system parts individually. It is necessary to examine the combined behaviour in such a setting. The approach presented in this paper is based on the well known concept of using system identification methods for verification which is extended to switched systems. The authors introduce the idea to tackle the verification of complex mechatronical systems as hybrid identification problem. Therefore the specification is given by the user in terms of the parameters of linear dynamic systems and a superimposed state machine. The implemented system under test can be transformed into the same representation using input/output measurement data and a recently developed hybrid identification procedure. Finally it is possible to compare the two representations automatically and calculate a formal statement about the consistency between specification and implementation.

Keywords

Test automation Hybrid identification Switched systems 

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Stefan Schwab
    • 1
  • Bernd Holzmüller
    • 2
  • Sören Hohmann
    • 1
  1. 1.Institute of Control SystemsKarlsruhe Institute of TechnologyKarlsruheGermany
  2. 2.ITK-EngineeringStuttgartGermany