• Paulo Tabuada


Whenever a system S a fails to conform to its specification S b , in the sense that \(S_a \npreceq S_b\), we may ask if there exists another system S c , the controller, such that \(S_c \times_I S_b \preceq\) or even \(S_c \times_I S_a \cong S_b\). In this chapter we discuss these control problems in the behavioral and similarity contexts. We show how to reduce controller synthesis problems from the behavioral context to the similarity context and we solve the later by computing _xed-points of suitably de_ned operators. In addition to these general control problems we also present _xed-point solutions specialized for safety and reachability control problems that frequently arise in applications.


Similarity Context Matching Transition Behavioral Context Liveness Property Internal Behavior 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag US 2009

Authors and Affiliations

  1. 1.Department of Electrical EngineeringUniversity of California, Los AngelesLos AngelesUSA

Personalised recommendations