Language Guided Controller Synthesis

  • Calin BeltaEmail author
  • Boyan Yordanov
  • Ebru Aydin Gol
Part of the Studies in Systems, Decision and Control book series (SSDC, volume 89)


In Chap.  9, we treated the temporal logic control problem for a PWA system.While being able to accommodate full LTL specifications, the method from Chap. 9 was conservative, mainly because the original (rough) partition of the state space was not refined if a control strategy was not found. In this chapter, we address this limitation. We restrict our attention to specifications given in the co-safe fragment of LTL (scLTL) and present a language-guided synthesis method. Central to our approach is the construction and refinement of an automaton that restricts the search for initial states and control strategies in such a way that the satisfaction of the specification is guaranteed at all times. We focus on fixed-parameter control PWA systems.


Temporal Logic Successor Function Candidate State State Feedback Controller Controller Synthesis 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Mechanical Engineering, Electrical and Computer Engineering, and Systems EngineeringBoston UniversityBostonUSA
  2. 2.Biological Computation GroupMicrosoft Research LtdCambridgeUK
  3. 3.Department of Computer EngineeringMiddle East Technical UniversityCankayaTurkey

Personalised recommendations