SENSE: Abstraction-Based Synthesis of Networked Control Systems

06/26/2018
by   Mahmoud Khaled, et al.
0

While many studies and tools target the basic stabilizability problem of networked control systems (NCS), nowadays modern systems require more sophisticated objectives such as those expressed as formulae in linear temporal logic or as automata on infinite strings. One general technique to achieve this is based on so-called symbolic models, where complex systems are approximated by finite abstractions, and then, correct-by-construction controllers are automatically synthesized for them. We present tool SENSE for the construction of finite abstractions for NCS and the automated synthesis of controllers. Constructed controllers enforce complex specifications over plants in NCS by taking into account several non-idealities of the communication channels. Given a symbolic model of the plant and network parameters, SENSE can efficiently construct a symbolic model of the NCS, by employing operations on binary decision diagrams (BDDs). Then, it synthesizes symbolic controllers satisfying a class of specifications. It has interfaces for the simulation and the visualization of the resulting closed-loop systems using OMNETPP and MATLAB. Additionally, SENSE can generate ready-to-implement VHDL/Verilog or C/C++ codes from the synthesized controllers.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/20/2018

Optimal Symbolic Controllers Determinization for BDD storage

Controller synthesis techniques based on symbolic abstractions appeal by...
research
04/28/2021

Symbolic Abstractions From Data: A PAC Learning Approach

Symbolic control techniques aim to satisfy complex logic specifications....
research
11/03/2022

Data-driven Abstractions for Verification of Deterministic Systems

A common technique to verify complex logic specifications for dynamical ...
research
07/02/2021

Incorporating Monitors in Reactive Synthesis without Paying the Price

Temporal synthesis attempts to construct reactive programs that satisfy ...
research
07/28/2023

Worrisome Properties of Neural Network Controllers and Their Symbolic Representations

We raise concerns about controllers' robustness in simple reinforcement ...
research
11/21/2020

SymAR: Symmetry Abstractions and Refinement for Accelerating Scenarios with Neural Network Controllers Verification

We present a Symmetry-based abstraction refinement algorithm SymAR that ...
research
05/31/2019

From Global Choreographies to Provably Correct and Efficient Distributed Implementations

We define a method to automatically synthesize provably-correct efficien...

Please sign up or login with your details

Forgot password? Click here to reset