Next:
Introduction
Up:
A Comparative Study
Previous:
Controller Synthesis
Net Condition Event Systems
Introduction
The Plant Model
Specifications
Synthesis of Safety Controller
Synthesis of Sequential Controller
Luz E. Pinzon
Wed Oct 15 18:10:49 EDT 1997
