# A symbolic approach to the self-triggered design for networked control systems

## TL;DR

This paper introduces a symbolic method for designing self-triggered controllers for nonlinear networked control systems, ensuring reachability and safety through abstractions and game-based synthesis.

## Contribution

It presents a novel symbolic abstraction approach combined with reachability games for synthesizing self-triggered controllers in nonlinear systems.

## Key findings

- Effective controller synthesis demonstrated via numerical simulations.
- The symbolic approach ensures safety and reachability specifications.
- Provides a systematic framework for self-triggered control design.

## Abstract

In this paper, we investigate novel self-triggered controllers for nonlinear control systems with reachability and safety specifications. To synthesize the self-triggered controller, we leverage the notion of symbolic models, or abstractions, which represent abstracted expressions of control systems. The symbolic models will be constructed through the concepts of approximate alternating simulation relations, based on which, and by employing a reachability game, the self-triggered controller is synthesized. We illustrate the effectiveness of the proposed approach through numerical simulations.