A Tableau Construction Approach to Control Synthesis of FSMs Using Simulation Relations.
Yoshisato SakaiPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2007)
Keyphrases
- controller synthesis
- control system
- description logics
- matlab simulink
- simulation model
- finite state machines
- process control
- control method
- database
- construction process
- texture synthesis
- program synthesis
- discrete event
- control theory
- simulation models
- temporal relations
- simulation environment
- adaptive control
- optimal control
- semantic relations
- mathematical model
- data model
- knowledge base