hal-00154071, version 1
Modeling and analysis using hybrid Petri nets
Nonlinear Analysis: Hybrid Systems 1, 2 (2007) 141-153
Abstract: This paper is devoted to the use of hybrid Petri nets (PNs) for modeling and control of hybrid dynamic systems (HDS). Modeling, analysis and control of HDS attract ever more of researchers' attention and several works have been devoted to these topics. We consider in this paper the extensions of the PN formalism (initially conceived for modeling and analysis of discrete event systems) in the direction of hybrid modeling. We present, first, the continuous PN models. These models are obtained from discrete PNs by the fluidification of the markings. They constitute the first steps in the extension of PNs toward hybrid modeling. Then, we present two hybrid PN models, which differ in the class of HDS they can deal with. The first one is used for deterministic HDS modeling, whereas the second one can deal with HDS with nondeterministic behavior. Keywords: Hybrid dynamic systems; D-elementary hybrid Petri nets; Hybrid automata; Controller synthesis
- 1:
- CNRS : UMR5216 – Université Joseph Fourier - Grenoble I – Université Pierre-Mendès-France - Grenoble II – Université Stendhal - Grenoble III – Institut Polytechnique de Grenoble - Grenoble Institute of Technology
- Domain : Computer Science/Information Theory and Coding
Mathematics/Information Theory - Keywords : Keywords: Hybrid dynamic systems – D-elementary hybrid Petri nets – Hybrid automata – Controller synthesis
- Internal note : Département Automatique
- hal-00154071, version 1
- http://hal.archives-ouvertes.fr/hal-00154071
- oai:hal.archives-ouvertes.fr:hal-00154071
- From:
- Submitted on: Tuesday, 12 June 2007 16:15:48
- Updated on: Wednesday, 18 June 2008 14:45:53



Associated documents
Export