论文信息 - Qualitative Modeling of Hybrid Systems

Qualitative Modeling of Hybrid Systems

The paper discusses an approach to construct discrete abstractions of hybrid systems by means of qualitative reasoning. The work is performed in the context of a modeling language for hybrid systems CHARON. We introduce a qualitative version of the language and describe the abstraction technique using a motivational example. The resulting abstract model is conservative and can be used to analyze properties of the original hybrid system.

Hyoung Seok Hong | Oleg Sokolsky

[1] Johan de Kleer,et al. A Qualitative Physics Confluences , 1984 .

[2] Yumi Iwasaki,et al. Safety Veri cation Proofs for Physical , 1998 .

[3] George J. Pappas,et al. Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.

[4] Benjamin Kuipers,et al. Proving Properties of Continuous Systems: Qualitative Simulation and Temporal Logic , 1997, Artif. Intell..

[5] Vijay Kumar,et al. Modular Specification of Hybrid Systems in CHARON , 2000, HSCC.

[6] D. Clancy,et al. Control of Hybrid Systems using Qualitative Simulation , 1997 .

[7] A. John Mallinckrodt,et al. Qualitative reasoning: Modeling and simulation with incomplete knowledge , 1994, at - Automatisierungstechnik.

[8] Giorgio Brajnik,et al. A Semi-quantitative Physics Compiler , 1970 .

[9] Kenneth D. Forbus. Qualitative Process Theory , 1984, Artificial Intelligence.

[10] Benjamin Kuipers,et al. Qualitative and Quantitative Simulation: Bridging the Gap , 1997, Artif. Intell..

[11] Insup Lee,et al. Compositional Refinement for Hierarchical Hybrid Systems , 2001, HSCC.

[12] Hassen Saïdi,et al. Construction of Abstract State Graphs with PVS , 1997, CAV.

[13] Edmund M. Clarke,et al. Counterexample-Guided Abstraction Refinement , 2000, CAV.

[14] Pravin Varaiya,et al. What's decidable about hybrid automata? , 1995, STOC '95.