Grid automata and supervisory control of dense real-time discrete event systems

Nourelfath, Mustapha; Khoumsi, Ahmed

doi:10.1016/j.matcom.2005.11.009

Cited by 5 publications

(2 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [86], the timed supervisory control method based on sampling region graphs of the plant and specifications, and constructing a discrete finite subautomaton, called grid automaton was presented. The aforementioned techniques can be used to expedite the controllability test of [136].…”

Section: Control Of Untimed and Timed Dessmentioning

confidence: 99%

See 1 more Smart Citation

Control and diagnosis of real-time systems under finite-precision measurement of time

View full text Add to dashboard Cite

show abstract

Section: Control Of Untimed and Timed Dessmentioning

confidence: 99%

“…Therefore the computational complexity, especially for the applications to large scale discrete event systems, is an important issue. The approaches based on more computationally efficient representations of region-automaton such as Set-Exp automaton [59] and grid automaton [86] should be explored in the future.…”

Section: State Explosionmentioning

confidence: 99%

Control and diagnosis of real-time systems under finite-precision measurement of time

View full text Add to dashboard Cite

show abstract

SetExp: a method of transformation of timed automata into finite state automata

2010

Self Cite

View full text Add to dashboard Cite

Real-time discrete event systems are discrete event systems with timing constraints, and can be modeled by timed automata. The latter are convenient for modeling real-time discrete event systems. However, due to their infinite state space, timed automata are not suitable for studying real-time discrete event systems. On the other hand, finite state automata, as the name suggests, are convenient for modeling and studying non-real time discrete event systems. To take into account the advantages of finite state automata, an approach for studying real-time discrete event systems is to transform, by abstraction, the timed automata modeling them into finite state automata which describe the same behaviors. Then, studies are performed on the finite state automata model by adapting methods designed for non real-time discrete event systems. In this paper, we present a method for transforming timed automata into special finite state automata called Set-Exp automata. The method, called SetExp, models the passing of time as real events in two types: Set events which correspond to resets with programming of clocks, and Exp events which correspond to the expiration of clocks. These events allow to express the timing constraints as events order constraints. SetExp limits the state space explosion problem in comparison to other transformation methods of timed automata, notably when the magnitude of the constants used to express the timing constraints are high. Moreover, SetExp is suitable, for example, in supervisory control and conformance testing of real-time discrete event systems.

show abstract

Supervisory control of real-time discrete event systems

Khoumsi

2023

Encyclopedia of Electrical and Electronic Power Engineering

View full text Add to dashboard Cite

Grid automata and supervisory control of dense real-time discrete event systems

Cited by 5 publications

References 27 publications

Control and diagnosis of real-time systems under finite-precision measurement of time

Control and diagnosis of real-time systems under finite-precision measurement of time

SetExp: a method of transformation of timed automata into finite state automata

Supervisory control of real-time discrete event systems

Contact Info

Product

Resources

About