Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models

Shayman, Mark A.; Kumar, Ratnesh

doi:10.1137/s0363012992239600

Cited by 69 publications

(46 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this section we briefly review the trajectory-model formalism of [7] (see also [26]) which has been developed as a basic tool for modeling and analysis of nondeterministic DES's.…”

Section: Nondeterminismmentioning

confidence: 99%

“…The set of all trajectories that are dominant in is called the dominance-set of and is denoted . The following proposition states that a process is completely characterized by its dominance set [7] (see also [26,Th. 1…”

Section: Nondeterminismmentioning

confidence: 99%

“…By synthesizing a supervisor based on this sublanguage, 9 In [26], the system model has been allowed to include also "driven" as well as unobservable events. Thus, our corollary relates only to their case where driven and unobservable events are absent.…”

Section: Supervisor Synthesismentioning

confidence: 99%

“…In [4], [5], and [13], nondeterministic supervisors for DES's are considered, and existence conditions of supervisors are derived for various types of deterministic or nondeterministic specifications. In [15] and [26] the supervisory control problem is considered where the supervised system is assumed (or permitted) to be nondeterministic, while the specification is assumed to be deterministic (that is, a language specification) and the supervisor is also assumed to be deterministic. Conditions for supervisor existence are derived there, but no explicit algorithms for synthesis of supervisors are presented.…”

mentioning

confidence: 99%

“…(See also the construction presented in [26] that uses so-called "saturated trajectories.") It is not difficult to see that if and are two processes such that ( denotes the trace set, or the language generated by ), then we are justified in saying that is more nondeterministic than whenever (because can be thought of as evolving into through -transitions [7]).…”

mentioning

confidence: 99%

See 4 more Smart Citations

Discrete-event control of nondeterministic systems

Heymann

Lin

1998

IEEE Trans. Automat. Contr.

View full text Add to dashboard Cite

Abstract-Nondeterminism in discrete-event systems occurs in many practical situations and often as a result of partial observability of events. For the adequate description of nondeterministic systems and nondeterministic phenomena, the trajectory-model formalism was introduced in [6] and [7]. This formalism has been used in [26] (also [14] and [15]) for obtaining various results on supervisory control of nondeterministic systems subject to language specifications. In the present paper we develop a theory of supervisory control for nondeterministic discrete-event systems subject to both language and trajectory-model specifications. We further show how well-known algorithms for supervisory control (of deterministic systems) under partial observation can be adapted for synthesis of supervisors for nondeterministic systems subject to both language and trajectory-model specifications.

show abstract

“…In this section we briefly review the trajectory-model formalism of [7] (see also [26]) which has been developed as a basic tool for modeling and analysis of nondeterministic DES's.…”

Section: Nondeterminismmentioning

confidence: 99%

Section: Nondeterminismmentioning

confidence: 99%

Section: Supervisor Synthesismentioning

confidence: 99%

mentioning

confidence: 99%

mentioning

confidence: 99%

See 3 more Smart Citations

Discrete-event control of nondeterministic systems

Heymann

Lin

1998

IEEE Trans. Automat. Contr.

View full text Add to dashboard Cite

show abstract

Supervisory Control of Nondeterministic Discrete‐Event Systems

Takai

2020

Wiley Encyclopedia of Electrical and Electronics Engineering

View full text Add to dashboard Cite

In this article, we consider a supervisory control problem for nondeterministic discrete‐event systems. In the conventional supervisory control problem for the deterministic plant with the deterministic specification, equivalence of the generated or marked language of the supervised plant and the specification language is required. When both the plant and the specification are nondeterministic, a notion of equivalence stronger than language equivalence is required. Bisimulation equivalence is stronger than language equivalence and it has been widely used for verification and control of dynamical systems. A bisimilarity control problem requires us to synthesize a possibly nondeterministic supervisor such that the supervised plant and the specification are bisimilar. We present a necessary and sufficient condition for the existence of a supervisor that solves the bisimilarity control problem and how to synthesize such a supervisor if it exists. Furthermore, we show that a nondeterministic supervisor is more powerful than a deterministic one for the bisimilarity control problem.

show abstract

Equivalences of discrete-event systems and of hybrid systems

Schuppen

1999

Open Problems in Mathematical Systems and Control Theory

View full text Add to dashboard Cite

Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models

Cited by 69 publications

References 17 publications

Discrete-event control of nondeterministic systems

Discrete-event control of nondeterministic systems

Supervisory Control of Nondeterministic Discrete‐Event Systems

Equivalences of discrete-event systems and of hybrid systems

Contact Info

Product

Resources

About