Login / Signup

Synthesis of Output Feedback Controllers for Bisimilarity Control of Transition Systems.

Nam Tung VuShigemasa Takai
Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2016)
Keyphrases
  • transition systems
  • control system
  • control strategy
  • model checking
  • controller design
  • concurrent systems
  • temporal logic
  • finite state
  • reinforcement learning
  • artificial intelligence
  • fuzzy sets
  • control flow