A modular plant modeling technique and related controller synthesis problems
Hans Michael Hanisch, Arndt Lüder, Jan Thieme · 2002
Models of uncontrolled plant behavior are required to use formal methods of logical controller synthesis. We present a modular, hierarchical, efficient technique for designing such models. Notions of controllability and observability are given, and some related synthesis problems are stated.