A New Approach of Qualitative Simulation for the Validation of Hybrid Systems

Hybrid systems are specified in a heterogeneous form, with discrete and continuous parts. Simulating such systems requires precise data and computational power in order to synchronize continuous changes and discrete transitions. However, in the early design stages, the lack of precision about some parameters forbids such simulations. Qualitative simulation consists in computing only some qualities of the behavior, without computing the exact values. We present here a new approach for the qualitative simulation of hybrid systems, which relies on an abstract model of the state variables and of the qualitative aspects of their evolution. This model is analyzed by the Diversity symbolic execution engine to build the qualitative behaviors of the system.

[1]  Toyoaki Nishida.  Grammatical Description of Behaviors of Ordinary Differential Equations in Two-Dimensional Phase Space , 1997, Artif. Intell..

[2]  Wang Yi,et al.  Automated verification of an audio-control protocol using UPPAAL , 2002, J. Log. Algebraic Methods Program..

[4]  Elisha Sacks,et al.  Automatic Analysis of One-Parameter Planar Ordinary Differential Equations by Intelligent Numeric Simulation , 1991, Artif. Intell..

[5]  Johan de Kleer,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..

[6]  Patricia Bouyer,et al.  Symbolic Optimal Reachability in Weighted Timed Automata , 2016, CAV.

[7]  Julia Eichmann.  Kam A System For Intelligently Guiding Numerical Experimentation By Computer , 2016 .

[8]  Thomas A. Henzinger,et al.  HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.

[9]  Stavros Tripakis,et al.  Kronos: A Model-Checking Tool for Real-Time Systems , 1998, CAV.

[10]  Edward A. Lee,et al.  Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.

[11]  Kenneth D. Forbus.  Qualitative Process Theory , 1984, Artif. Intell..

[12]  J.-P. Gallois,et al.  Le test structurel pour la vérification de spécifications de systèmes industriels , 1997 .

[13]  Benjamin Kuipers,et al.  Qualitative Simulation , 1986, Artificial Intelligence.

[14]  Ashish Tiwari,et al.  Series of Abstractions for Hybrid Automata , 2002, HSCC.

[15]  Feng Zhao,et al.  Computational dynamics: Modeling and visualizing trajectory flows in phase space , 1993, Annals of Mathematics and Artificial Intelligence.

[16]  Bruce H. Krogh,et al.  Computational techniques for hybrid system verification , 2003, IEEE Trans. Autom. Control..