In control theory, complicated dynamics such as systems of (nonlinear) differential equations
are controlled mostly to achieve stability. This fundamental property, which can be with …

In control theory, complex models of physical processes, such as systems of differential or
difference equations, are usually checked against simple specifications, such as stability …

Reinforcement learning (RL) depends critically on the choice of reward functions used to
capture the desired behavior and constraints of a robot. Usually, these are handcrafted by a …

In this paper we present and analyze a novel algorithm to synthesize controllers enforcing
linear temporal logic specifications on discrete-time linear systems. The central step within …

We develop a method for the control of discrete-time nonlinear systems subject to temporal
logic specifications. Our approach uses a coarse abstraction of the system and an …

We investigate the problem of synthesizing robust controllers that ensure that the closed
loop satisfies an input reach-while-stay specification, wherein all trajectories starting from …

This paper considers the problem of controlling discrete-time linear systems from
specifications given as formulas of syntactically co-safe linear temporal logic over linear …

Switching controllers play a pivotal role in directing hybrid systems (HSs) towards the
desired objective, embodying a “correct-by-construction” approach to HS design. Identifying …

We consider the problem of computing the set of initial states of a dynamical system such
that there exists a control strategy to ensure that the trajectories satisfy a temporal logic …

This paper focuses on optimizing probabilities of events of interest defined over general
controlled discrete-time Markov processes. It is shown that the optimization over a wide …