Correct-by-construction synthesis is a cornerstone of the confluence of formal methods and
control theory towards designing safety-critical systems. Instead of following the time-tested …

Our group is interested in using haptic display for training tool use. Applications include
training doctors to use tools during surgery, and training astronauts to use tools during EVA …

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 …

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 …

Fifty years ago, control and computing were part of a broader system science. After a long
period of separate development within each discipline, embedded and hybrid systems have …

This article describes approach for solving motion planning problems for mobile robots
involving temporal goals. Traditional motion planning for mobile robotic systems involves the …

In this article, we presented an overview of how temporal logic synthesis, coupled with
abstractions and continuous bisimilar controllers, can be used to generate high-level …

This paper bridges the advances in computer science and control to allow automatic
synthesis of control strategies for complex dynamical systems which are guaranteed, by …

This paper presents a supervisory algorithm that prevents side collisions among vehicles at
an intersection by taking control of vehicles when necessary. Based on the vehicles' current …

Approximate bisimulations for fuzzy automata have recently drawn attention of researches,
since they allow to correlate different fuzzy automata which behave equivalently only to the …