Design and implementation of supervisory control schemes in industrial automation systems

Gomaa, Mostafa M.; Awad, Hamdi A.; Anwar, Ahmed R.

doi:10.1109/icces.2008.4773035

Cited by 5 publications

(8 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the opposite case the communication delay would allow double booking problem of the shared resource by the two controllers or even deadlock. Due to the pages limitation, more details about this implementation problem the readers can be directed to read our work detailed in [34].…”

Section: Example 3: Krc Modeling and Supervision Using Timed Pnsmentioning

confidence: 99%

Supervisory Control Systems: Theory and Industrial Applications

Awad¹

2018

Petri Nets in Science and Engineering

View full text Add to dashboard Cite

Hybrid control system is an exciting field of research where it contains two distinct types of systems: one with continuous dynamics continuous variable dynamic system and the other with discrete dynamics discrete event dynamic system, that interact with each other. The research in the area of hybrid control can be categorized into two areas: one deals with the conventional control systems, and the other deals with the decision making systems. The former addresses the control functions at the low level (field level). The latter addresses the modeling, analysis, and design at the higher level found in the supervision, coordination and management levels. The study of hybrid systems is central in designing intelligent hybrid control systems with high degree of autonomy and it is essential in designing discrete event supervisory controllers for continuous systems.

show abstract

Section: Example 3: Krc Modeling and Supervision Using Timed Pnsmentioning

confidence: 99%

Supervisory Control Systems: Theory and Industrial Applications

Awad¹

2018

Petri Nets in Science and Engineering

View full text Add to dashboard Cite

show abstract

“…The slack variable that enforces the equality defined in (2) is a part of a separate net called the supervisor (controller). If the initial marking does not violate the given set of constraints defined in (1), these constraints can be enforced by the supervisor with the incidence matrix [4].…”

Section: Iii3 Supervisory Control Synthesis For the Krc Systemmentioning

confidence: 99%

“…This can be achieved by performing row operations on Duc and LDuc. Matrices 1 R and 2 R are used to transform the inadmissible constraints B Lm p  into the admissible constraints [4]:…”

Section: Iii3 Supervisory Control Synthesis For the Krc Systemmentioning

confidence: 99%

“…Important contributions in supervisory control of DES based on the Finite Automata (FA) and Petri Nets (PNs) are found in [4][5][6][7][8]. Petri net models are normally more compact than similar automata based models and are better suited for the representation of discrete event systems.…”

Section: Iintroductionmentioning

confidence: 99%

“…For example, an event is opening or closing a gate in Kernel Railroad Crossing (KRC) systems [2][3]. DES can be found in domains such as manufacturing, robotic, traffic control, logistics, and communication systems, etc.Important contributions in supervisory control of DES based on the Finite Automata (FA) and Petri Nets (PNs) are found in [4][5][6][7][8]. Petri net models are normally more compact than similar automata based models and are better suited for the representation of discrete event systems.…”

mentioning

confidence: 99%

See 2 more Smart Citations

Modelling and Control of KRC Systems Using TPN and TA

Allaa¹,

Awad²,

Anwar³

et al. 2015

IJAREEIE

View full text Add to dashboard Cite

This paper models and supervises kernel railroad crossing (KRC) systems using timed Petri nets and focuses on the control synthesis method, which consists in computing new firing conditions for the timed automaton (TA) transitions so that the forbidden locations are no longer reachable. The system to be modeled and supervised using timed Petri nets is converted to a TA and is analyzed using automata so that the functioning of the system respects given specifications. The main reason of using automata is that although the timed Petri nets supervisor controls the system, it fails to define the time units needed for the undefined time of a transition. Simulation results show the soundness of KRC modeling and supervision in the sense of ensuring the safety and maximizing utility (the gate should be opened as long as possible). KEYWORDS:Automata, Timed automata, discrete event systems, Petri nets, Timed Petri nets, KRC systems I.INTRODUCTIONThe process synchronization and forbidden states avoidance are considered as the main problems in both normal and abnormal modes of automation systems [1]. These characteristics allow the system to be considered as Discrete Event System (DES) and allow the researchers to perform the analysis and control of such systems using Petri nets (PN) and automata. DES is a dynamic system with state evolution produced by the occurrence of physical events. For example, an event is opening or closing a gate in Kernel Railroad Crossing (KRC) systems [2][3]. DES can be found in domains such as manufacturing, robotic, traffic control, logistics, and communication systems, etc.Important contributions in supervisory control of DES based on the Finite Automata (FA) and Petri Nets (PNs) are found in [4][5][6][7][8]. Petri net models are normally more compact than similar automata based models and are better suited for the representation of discrete event systems. They also have a good representational power [9]. On one hand, numerous approaches to the systematic construction of Petri net models have been proposed in [10]. On the other hand, because automata detail the process to be modelled, they are also employed to analysis and avoid forbidden states with ease.Historically, the theory of DES for supervision was initiated by the research work of Ramadge and Wonham [8]. A process is considered to be a spontaneous generator of events. Its functioning is characterized by event sequences. A supervisor is a DES which can modify the functioning of the process in order to avoid forbidden states. Unfortunately, the theory of Ramadge and Wonham does not a maximally permissive in nature [11]. A maximal permissive supervisor is to ensure that the controlled behaviour of the DES must be maximally permissive within a given specifications, i.e. all events which do not contradict the given specifications are allowed to happen. Thus, the theory of Ramadge and Wonham cannot be used to control all DES. An extension of this theory to the control of DES is proposed to force the occurrence of certain events to...

show abstract

Development of System of Automatic Control of Sunflower Seed Calibration and Cleaning Line

Nikolayenko

Tsokur

2019

2019 International Russian Automation Conference (RusAutoCon)

View full text Add to dashboard Cite

Design and implementation of supervisory control schemes in industrial automation systems

Cited by 5 publications

References 24 publications

Supervisory Control Systems: Theory and Industrial Applications

Supervisory Control Systems: Theory and Industrial Applications

Modelling and Control of KRC Systems Using TPN and TA

Development of System of Automatic Control of Sunflower Seed Calibration and Cleaning Line

Contact Info

Product

Resources

About