Context-Triggered Abstraction-Based Control Design

Context-Triggered Abstraction-Based Control Design

We consider the problem of automatically synthesizing a hybrid controller for non-linear dynamical systems which ensures that the closed-loop fulfills an arbitrary <italic>Linear Temporal Logic</italic> specification. Moreover, the specification may take into account logical context swit...

Full description

Bibliographic Details
Main Authors: Satya Prakash Nayak, Lucas N. Egidio, Matteo Della Rossa, Anne-Kathrin Schmuck, Raphael M. Jungers
Format: Article
Language:English
Published: IEEE 2023-01-01
Series:IEEE Open Journal of Control Systems
Subjects:
Control lyapunov functions
control synthesis
cyber-physical systems
games on graphs
linear temporal logic
Online Access:https://ieeexplore.ieee.org/document/10221705/

Internet

https://ieeexplore.ieee.org/document/10221705/

Similar Items