A Comparative Study of Synthesis Methods for Discrete Event Controllers

Authors:
H.-M. Hanisch;L. E. Pinzon;M. A. Jafari;T. Boucher
Affiliations:
Automation Institute, Magdeburg University, PO Box 4120, D-39016 Magdeburg, Germany. hami@hamlet.et.uni-magdeburg.de;RUTCOR, Rutgers University, 640 Bartholomew Rd., Piscataway, NJ 08854. pinzon@rutcor.rutgers.edu;Industrial Engineering Dept., Rutgers University, PO Box 909, Piscataway, NJ 08855. jafari@rci.rutgers.edu;Industrial Engineering Dept., Rutgers University, PO Box 909, Piscataway, NJ 08855. tboucher@rci.rutgers.edu
Venue:
Formal Methods in System Design
Year:
1999

Citing 12
Cited 2

Automatic verification of finite-state concurrent systems using temporal logic specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends

Current trends in concurrency. Overviews and tutorials
Supervisory control of a class of discrete event processes

SIAM Journal on Control and Optimization
Modular feedback logic for discrete event systems

SIAM Journal on Control and Optimization
Temporal logics and their applications

Temporal logics and their applications
A control theory for discrete-event systems

Proceedings of the NATO Advanced Study Institute on The Application of Advanced Computing Concepts and Techniques in Control Engineering on Advanced computing concepts and techniques in control engineering
Temporal logic for real time systems

Temporal logic for real time systems
The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
Petri nets as discrete event models for supervisory control

Petri nets as discrete event models for supervisory control
Theory and applications of resource control Petri nets for automated manufacturing systems

Theory and applications of resource control Petri nets for automated manufacturing systems
Feedback control of Petri nets based on place invariants

Automatica (Journal of IFAC)
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems

Re-engineering software architecture of home service robots: a case study

Proceedings of the 27th international conference on Software engineering
Formal construction and verification of home service robots: a case study

ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract

The purpose of this paper is to illustrate and compare someof the existing synthesis methods for discrete event controllers. Wesummarize four of the well-known methodologies in the context of plantmodel, specification model, and controller synthesis procedure. Then,by applying the models to two working examples, we explore and comparethe descriptive power of the methods and their capabilities forhandling various types of specifications.