![]() Then, the tool constructs provably-correct controllers that satisfy the given specification. ![]() Plants' symbolic models can be easily constructed using a tool like SCOTS, which is provided with SENSE. It uses the abstraction of the plant to construct an abstraction for NCS. ![]() It also expects information about the delay bounds in the NCS and the specification to be enforced on the plants of NCS. symbolic models) of the plants inside NCS as input. SENSE expects existing finite abstracts (a.k.a. It uses binary decision diagrams (BDDs) as the primary data structure for efficient symbolic abstraction construction. It facilitates constructing finite abstraction and synthesizing symbolic controller using the plants of NCS. SENSE is an experimental framework for the correct-by-construction controller synthesis for networked control systems (NCS). SENSE - Symbolic controlEr for Networked SystEms
0 Comments
Leave a Reply. |
Details
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |