The control of discrete event systems

Ramadge, Peter J.; Wonham, W. M.

doi:10.1109/5.21072

Cited by 2,448 publications

(1,399 citation statements)

References 50 publications

Supporting

Mentioning

1,313

Contrasting

Unclassified

Order By: Relevance

“…In the supervisory control paradigm ( [8,9]), the actions of a process can be observable or unobservable and they can be controllable or uncontrollable. Observable actions can be observed by the controller (and unobservable actions can not).…”

Section: Supervisory Control With | Pmentioning

confidence: 99%

A Composition Operator for Systems with Active and Passive Actions

Strubbe

Langerak

2005

Formal Techniques for Networked and Distributed Systems - FORTE 2005

View full text Add to dashboard Cite

Abstract. We investigate requirements for a composition operator for complex control systems. The operator should be suitable for a context where we have both supervisory control and a system that consists of multiple (two or more) components. We conclude that using both passive (observing) and active (controlling) transitions is advantageous for the specification of supervisory control systems. We introduce a composition operator that meets the requirements. We give both operational and trace semantics for this operator and give necessary and sufficient conditions for commutativity and associativity.

show abstract

Section: Supervisory Control With | Pmentioning

confidence: 99%

A Composition Operator for Systems with Active and Passive Actions

Strubbe

Langerak

2005

Formal Techniques for Networked and Distributed Systems - FORTE 2005

View full text Add to dashboard Cite

show abstract

“…This internal control loop lets the module adapt its operation parameters and react to changes in the environment in a reactive w ay. A t a second level, control is modeled using a Discrete Event System (DES) paradigm 19,15]. Thus modules can receive and send events to other modules to share results or signal certain circumstances.…”

Section: Introductionmentioning

confidence: 99%

DESEO: An Active Vision System for Detection Tracking and Recognition

Hernández

Cabrera

Dominguez

et al. 1999

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. In this paper, a basic conceptual architecture aimed at the design of Computer Vision System is qualitatively described. The proposed architecture addresses the design of vision systems in a modular fashion using modules with three distinct units or components: a processing network or diagnostics unit, a control unit and a communications unit. The control of the system at the modules level is designed based on a Discrete Events Model. This basic methodology has been used to design a real-time active vision system for detection, tracking and recognition of people. It is made up of three functional modules aimed at the detection, tracking, recognition of moving individuals plus a supervision module. The detection module is devoted to the detection of moving targets, using optic ow computation and relevant areas extraction. The tracking module uses an adaptive correlation technique to xate on moving objects. The objective of this module is to pursuit the object, centering it into a relocatable focus of attention window ( F OAW) to obtain a good view of the object in order to recognize it. Several focus of attention can betracked simultaneously. The recognition module is designed in an opportunistic style in order to identify the object whenever it is possible. A demonstration system has been developed to detect, track and identify walking people.

show abstract

“…In control theory, a related technique is discrete controller synthesis [17]. The objective is to restrict the system behavior so that it satisfies a specification.…”

Section: Resultsmentioning

confidence: 99%

“…(A) by pruning the transitions that lead inevitably to cloud-nodes and that are controllable. The pruning of controllable transitions, as well as the "most permissive" notion, is borrowed from Discrete Controller Synthesis [17].…”

Section: Controlled Coverability Graph Synthesis (Ccg)mentioning

confidence: 99%

“…This is done by automatically constructing, if possible, an "instrumented" version of our extended coverability graph, called the Controlled Coverability Graph (CCG). The CCG is obtained by pruning from the extended coverability graph both the sinking paths and the unbounded paths, by controller synthesis [17] (step 5). This process also performs a backwards propagation in order to correctly take into account the case of sinking and unbounded paths originating from the firing of uncontrollable transitions.…”

Section: Overviewmentioning

confidence: 99%

See 1 more Smart Citation

Adaptor Synthesis for Real-Time Components

Tivoli

Fradet

Girault

et al.

Tools and Algorithms for the Construction and Analysis of Systems

View full text Add to dashboard Cite

Abstract. Building a real-time system from reusable or COTS components introduces several problems, mainly related to compatibility, communication, and QoS issues. We propose an approach to automatically derive adaptors in order to solve black-box integration anomalies, when possible. We consider black-box components equipped with an expressive interface that specifies the interaction behavior with the expected environment, the component clock, as well as latency, duration, and controllability of the component's actions. The principle of adaptor synthesis is to coordinate the interaction behavior of the components in order to avoid possible mismatches, such as deadlocks. Each adaptor models the correct assembly code for a set of components. Our approach is based on labeled transition systems and Petri nets, and is implemented in a tool called SynthesisRT. We illustrate it through a case study concerning a remote medical care system.

show abstract

The control of discrete event systems

Cited by 2,448 publications

References 50 publications

A Composition Operator for Systems with Active and Passive Actions

A Composition Operator for Systems with Active and Passive Actions

DESEO: An Active Vision System for Detection Tracking and Recognition

Adaptor Synthesis for Real-Time Components

Contact Info

Product

Resources

About