Introduction

A Comparative Study of Synthesis Methods for
Discrete Event Controllers

 

Luz Pinzon RUTCOR Rutgers University pinzon@rutcor. rutgers.edu

Hans-Michael Hanisch Electrical Engineering Dept. University of Magdeburg, Germany hami@hamlet.et.uni-magdeburg.de

Mohsen Jafari Industrial Eng. Dept. Rutgers University jafari@rci.rutgers.edu

Thomas Boucher Industrial Eng. Dept. Rutgers University tboucher@rci.rutgers.edu

        September, 1997  

• Introduction
• Two-Pusher Example
• Three-Machine Example
• Ramadge and Wonham Framework
• Introduction
• Basic Concepts
• The Plant Model
• Specifications and Legal Language
• Control Synthesis
• Timed Transition Models
• Introduction
• The Plant Model
• Specifications in Temporal Logic
• Control Synthesis
• Petri Net Models
• Introduction
• Notation and Basic Properties
• Specifications
• Controller Synthesis
• Net Condition Event Systems
• Introduction
• The Plant Model
• Specifications
• Synthesis of Safety Controller
• Synthesis of Sequential Controller
• Modeling the Two-Pusher Example
• Using the R&W Framework
• Using TTM's
• Using Petri Nets
• Using NCES
• Comparing Models
• Plant Models
• Specification Models
• Controller Agent and Synthesis Procedure
• Modeling the Three-Machine Example
• Using the R&W Framework
• Using TTM's
• Using Petri Nets
• Using NCES
• References
• About this document ...

Wed Oct 15 18:10:49 EDT 1997