Petri net based modeling of hybrid systems

Champagnat, Ronan; Esteban, Philippe; Pingaud, Hervé; Valette, Robert

doi:10.1016/s0166-3615(97)00109-7

Cited by 41 publications

(12 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Las dinámicas continuas son modeladas mediante redes de Petri diferenciales (Champagnat, et al, 1998;Villani, et al, 2004;Eigi Miyagi, et al, 2001). Desde el punto de vista matemático, el tratamiento de modelos discretos y continuos es complejo y dado que los modelos representan dos vistas diferentes de un sistema, podría ser más eficiente trabajar con dos modelos interactuantes separados.…”

Section: Definiciones Preliminaresunclassified

“…Cuando la transición se dispara, los dos estados anteriores a 1 t pierden su marca y el estado De esta manera se puede decir que la red de Petri sirve como supervisor de la parte continua del sistema, y al mismo tiempo las ecuaciones diferenciales (parte continua) controlan la evolución de la red de Petri (Champagnat, et al, 1998).…”

Section: Evolución Y Dinámica De Una Dhlpnunclassified

See 1 more Smart Citation

Aportes Metodológicos para el Diseño de Sistemas de Supervisión de Procesos Continuos

2011

View full text Add to dashboard Cite

ResumenSe revisan los conceptos sobre la supervisión de procesos y se define la terminología y las funciones básicas de un sistema supervisor, así como los diferentes enfoques para el diseño de dicho sistema. Se selecciona un formalismo para la representación y modelado de la dinámica del proceso y se expresan las especificaciones desde esa base formal. La propuesta metodológica está orientada a los sistemas convencionales, pero la representación formal de la especificación y el modelo del comportamiento sirven de base para agregar las funcionalidades propias de sistemas modernos de supervisión inteligente. Palabras clave: supervisión de procesos, supervisión industrial, control supervisorio, automatización integrada Methodological Contributions for the Design of Supervision Systems of Continuous Processes AbstractThe concepts of supervised process available in the literature are reviewed and the terminology and the basic functions of a supervisory system are defined. Also, the different approaches used for the design of such systems are analyzed. An appropriate formalism for the representation and modeling of the dynamics of the process is selected and the system specifications are expressed from that formal selected basis. The proposed methodology is focused on the conventional hierarchical systems, but both, the formal representation of the specification as well as the behavior model can be used for adding the other functionalities of other modern intelligent supervision systems.

show abstract

Section: Definiciones Preliminaresunclassified

Section: Evolución Y Dinámica De Una Dhlpnunclassified

Aportes Metodológicos para el Diseño de Sistemas de Supervisión de Procesos Continuos

2011

View full text Add to dashboard Cite

show abstract

“…the nodes of the automaton) made of continuous places and transitions, whereas the activation of the different continuous sub-nets are regulated by means of discrete sub-nets (i.e. the arcs of the automaton) composed of discrete places and transitions (Demongodine and Koussoulas 1996, Alla and David 1998, Champagnat et al 1998. The main strength of this approach lies in that it combines the idea of the system as an automaton and the effective representation driven by the Petri nets formalism, which allows to depict a particular system's status, as well as to describe the system's complete evolution.…”

Section: Hybrid Systems Modellingmentioning

confidence: 99%

Modelling hybrid production systems through the ACD specification: a case study in the fibre-glass industry

Rossi

Noè

Sianesi

2008

International Journal of Production Research

View full text Add to dashboard Cite

“…Differential predicate transition Petri nets (DPT Petri nets) and object-oriented concepts Briefly, a DPT Petri net defines an interface between differential equation systems and Petri net elements. Its main features are (Champagnat, Esteban, Pingaud, & Valette, 1998): * A set of variables (x i ) is associated with each token. * A differential equation system (F i ) is associated with each place (P i ): it defines the dynamics of the x i associated with the tokens in P i ; according to time (y).…”

Section: The Modelling Approachmentioning

confidence: 99%