Automated Verification of Switched Systems Using Hybrid Identification

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10107)


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.


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

Personalised recommendations