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 …

We address the problem of automatically synthesizing digital designs from linear-time
specifications. We consider various classes of specifications that can be synthesized with …

The development of autonomous vehicles for urban driving has seen rapid progress in the
past 30 years. This paper provides a summary of the current state of the art in autonomous …

We present a methodology for automatic synthesis of embedded control software that
incorporates a class of linear temporal logic (LTL) specifications sufficient to describe a wide …

This paper presents a geometry-based, multi-layered synergistic approach to solve motion
planning problems for mobile robots involving temporal goals. The temporal goals are …

A methodology for automatic simulation-based testing of control systems for autonomous
vessels is proposed. The work is motivated by the need for increased test coverage and …

In this paper, we describe a receding horizon framework that satisfies a class of linear
temporal logic specifications sufficient to describe a wide range of properties including …

Several control systems in safety-critical applications involve the interaction of an
autonomous controller with one or more human operators. Examples include pilots …

We present a computational framework for automatic synthesis of control and
communication strategies for a robotic team from task specifications that are given as regular …