Author:
Sakakibara Ami,Ushio Toshimitsu
Funder
Japan Society for the Promotion of Science
Exploratory Research for Advanced Technology
Subject
Control and Systems Engineering
Reference15 articles.
1. Principles of Model Checking;Baier,2008
2. Formal Methods for Discrete-Time Dynamical Systems;Belta,2017
3. Introduction to Discrete Event Systems;Cassandras,2008
4. Limited lookahead policies in supervisory control of discrete event systems;Chung;IEEE Trans. Autom. Control,1992
5. Recursive computation of limited lookahead supervisory controls for discrete event systems;Chung;Discret. Event Dyn. Syst. Theory Appl.,1993