IEEE - Institute of Electrical and Electronics Engineers, Inc. - Using Model Checking to Solve Supervisor Synthesis Problems

Proceedings of the 44th IEEE Conference on Decision and Control

Author(s): A. Morgenstern ; K. Schneider
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2005
Conference Location: Seville, Spain, Spain
Conference Date: 15 December 2005
Page(s): 2,757 - 2,762
ISBN (Paper): 0-7803-9567-0
DOI: 10.1109/CDC.2005.1582580
Regular:

Verification procedures, which check whether a given system satisfies a given specification, are nowadays mature for industrial usage. The more general supervisor synthesis problem asks how a... View More

Advertisement