Automated Verification of Switched Systems Using Hybrid Identification

Resource type
Book
Author(s)
Schwab, Stefan and Holzmüller, Bernd and Hohmann, Sören
Year
2017
Pages
87--100
Publisher
Springer International Publishing
ISBN
978-3-319-51738-4
Book title
Cyber Physical Systems. Design, Modeling, and Evaluation: 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Editor
Berger, Christian and Mousavi, Mohammad Reza and Wisniewski, Rafael
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.
Download .bib
Download .bib
Published by
Stefan Schwab