Petri Net-Based Descriptions for Discrete-Continuous Systems

Chouikha, Mourad; Decknatel, G.; Drath, Rainer; Frey, Georg; Müller, Christine H.; Simon, Carlo; Thieme, Jan; Wolter, Katinka

doi:10.1524/auto.2000.48.9.415

Cited by 9 publications

(4 citation statements)

References 14 publications

(15 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In that case, the hybrid control task to be dealt with is to be solved by an adequate combination of discrete and continuous inputs. Therefore, hybrid controller design is based on a hybrid process model which either combines the dynamic parts in a common formalism like Hybrid Petri Nets (Chouikha et al, 2000) or represents the discrete and continuous behavior with its own part and links them adequately.…”

Section: Reachability Analysis and Control Of A Special Class Of Hybrmentioning

confidence: 99%

See 1 more Smart Citation

Modelling, Analysis, and Design of Hybrid Systems

Engell¹,

Frehse²,

Schnieder³

2002

Lecture Notes in Control and Information Sciences

View full text Add to dashboard Cite

PrefaceIn 1995, the Deutsche Forschungsgemeinschaft (DFG), the largest public research funding organization in Germany, decided to launch a priority program (Schwerpunktprogramm in German) called Kondisk-Dynamics and Control of Systems with Mixed Continuous and Discrete Dynamics. Such a priority program is usually sponsored for six years and supports about twenty scientists at a time, in engineering and computer science mostly young researchers working for a doctoral degree. There is a yearly competition across all disciplines of arts and sciences for the funding of such programs, and the group of proposers was the happy winner of a slot in that year. The program started in 1996 after an open call for proposals; the successful projects were presented and re-evaluated periodically, and new projects could be submitted simultaneously. During the course of the focused research program, 25 different projects were funded in 19 participating university institutes, some of the projects were collaborative efforts of two groups with different backgrounds, mostly one from engineering and one from computer science.There were two main motivations for establishing Kondisk. The first was the fact that technical systems nowadays are composed of physical components with (mostly) continuous dynamics and computerized control systems where the reaction to discrete events plays a major role, implemented in Programmable Logic Controllers (PLCs), Distributed Control Systems (DCSs) or real-time computer systems. These two elements interact closely, and the resulting behavior can be surprisingly complex even for very simple systems, as demonstrated for the filling of three or more tanks by a switched server (Chase et al., 1993. Such complex behavior can neither be analyzed nor synthesized by methods that are based on either purely continuous or purely discrete systems theory. Despite the lack of theoretical tools or even powerful simulation environments for systems with mixed continuous and discrete dynamics, such systems have been engineered successfully on a trial-and-error basis, applying a combination of "divide and conquer" and "separation of concerns". The price that has to be paid, however, is extensive testing, frequent iterations in the design process, and the lack of guarantees for safety and performance properties.The second important factor in the creation of the priority program Kondiskwas the growing awareness of the need for a more comprehensive approach to hybrid systems both in the computer science and the control engineering communities, and the fact that important foundations had been laid in both camps -and sometimes across their borders as well. It was one of the key ideas in the call for proposals that the interaction of scientists from computer science and control engineering should be stimulated, and this resulted in several interdisciplinary projects. These projects not only led to interesting and novel results but generally created a deeper understanding of the complementary theories and issues on both sides. So...

show abstract

Section: Reachability Analysis and Control Of A Special Class Of Hybrmentioning

confidence: 99%

“…The hybrid Petri Nets have the same structure as hybrid automata and can be used for analysis and synthesis of hybrid systems and also for reachability analysis using evolution graphs (Chouikha et al, 2000, Chouikha and Schnieder, 1998a, Chouikha et al, 2001.…”

Section: State Of the Artmentioning

confidence: 99%

Modelling, Analysis, and Design of Hybrid Systems

Engell¹,

Frehse²,

Schnieder³

2002

Lecture Notes in Control and Information Sciences

View full text Add to dashboard Cite

show abstract

“…The idea is to make the software mimic the mathematical behavior of the net, such as that each element used in the definition is an object in the program. The authors could not find such definition, though there is an effort in that direction (CHOUIKHA et al, 2000).…”

Section: Introductionmentioning

confidence: 99%

Engenharias - Automação, Robótica, Metrologia e Energia - Volume 2: estudos e tendências

2023

View full text Add to dashboard Cite

Em seu segundo volume , "Engenharias - Automação, Robótica, Metrologia e Energia: Estudos e Tendências" mantém a linha de investigação nas tecnologias de ponta que estão moldando o mundo da manufatura e da energia, fornecendo uma visão geral de processo colaborativo entre professores, estudantes e pesquisadores que se destacaram e qualificaram as discussões observando seu impacto potencial na sociedade e na economia. Ao longo do livro, os autores fornecem insights sobre as aplicações do mundo real dessas tecnologias, bem como os potenciais benefícios e desvantagens da adoção generalizada. Eles também consideram as implicações dessas tecnologias nos empregos, na sociedade e no meio ambiente e discutem estratégias para mitigar quaisquer impactos negativos. Agradecemos aos autores pelo empenho, disponibilidade e dedicação para o desenvolvimento e conclusão dessa obra. Esperamos que esta obra seja um guia instigante e informativo sobre as tecnologias que estão moldando o mundo da automação, manufatura e da energia, e é uma excelente leitura para qualquer pessoa interessada em permanecer atualizado sobre os últimos desenvolvimentos nestes campos.

show abstract

“…To use the fuzzy reasoning arithmetic, we must set up the reachable sets (RS (P i )), the instant reachable sets (IRS (P i )) and the approachable place nets (AP (P ij )), and then, achieve the table of these sets [5].…”

Section: Diagnosis Reasoning Of Fuzzy Petri Netsmentioning

confidence: 99%

Batch Process Fault Diagnosis Based on Fuzzy Petri Nets

Liu¹,

Pan²,

Li³

First International Conference on Innovative Computing, Information and Control - Volume I (ICICIC'06)

View full text Add to dashboard Cite

The fuzzy Petri net (FPN) is a new kind of Petri nets that is well developed in recent years. It is difficult to model and simulate the fault diagnosis of batch process because of the alternation between the discrete states and the continuous process. This paper concerned with a new method of complex batch process fault diagnoses based on fuzzy Petri nets. We use Petri nets to model batch processes, and use fuzzy probability to deal with the uncertain information in fault diagnoses and calculate the dependability in fault diagnoses. A simulation of the fault diagnosis system is illustrated with a batch process example, the conclusion of which shows that this method is feasible.

show abstract

Petri Net-Based Descriptions for Discrete-Continuous Systems

Cited by 9 publications

References 14 publications

Modelling, Analysis, and Design of Hybrid Systems

Modelling, Analysis, and Design of Hybrid Systems

Engenharias - Automação, Robótica, Metrologia e Energia - Volume 2: estudos e tendências

Batch Process Fault Diagnosis Based on Fuzzy Petri Nets

Contact Info

Product

Resources

About