Fast Synthesis for Symbolic Self-triggered Control under Right-recursive LTL Specifications
We extend previous work on symbolic self-triggered control for non-deterministic continuous-time nonlinear systems without stability assumptions to a larger class of specifications. Our goal is to synthesise a controller for two objectives: the first one is modelled as a right-recursive LTL formula, and the second one is to ensure that the average communication rate between the controller and the system stays below a given threshold. We translate the control problem to solving a mean-payoff parity game played on a discrete graph. Apart from extending the class of specifications, we propose a heuristic method to shorten the computation time. Finally, we illustrate our results on the example of a navigating nonholonomic robot with several specifications.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Symbolic Self-triggered Control of Continuous-time Non-deterministic Systems without Stability Assumptions for 2-LTL Specifications
We propose a symbolic self-triggered controller synthesis procedure for non-deterministic continuous-time nonlinear systems without stability assumptions. The goal is to compute a controller that satisfies two objectives…
Synthesis of Event-triggered Controllers for SIRS Epidemic Models
In this paper, we investigate the problem of mitigating epidemics by applying an event-triggered control strategy. We consider a susceptible-infected-removed-susceptible (SIRS) model, which builds upon the foundational S…
Greedy Synthesis of Event- and Self-Triggered Controls with Control Lyapunov-Barrier Function
This paper addresses the co-design problem of control inputs and execution decisions for event- and self-triggered controls subject to constraints given by the control Lyapunov function and control barrier function. The …
Scalable Traffic Models for Scheduling of Linear Periodic Event-Triggered Controllers
This paper addresses the problem of modeling and scheduling the transmissions generated by multiple event-triggered control (ETC) loops sharing a network. We present a method to build a symbolic traffic model of periodic…
SchedulingSelf-Triggered Coordination Control of Connected Automated Vehicles in Traffic Networks
In this paper, a self-triggered scheme is proposed to optimally control the traffic flow of Connected and Automated Vehicles (CAVs) at conflict areas of a traffic network with the main aim of reducing the data exchange a…