With recent advances in mobile robotics, autonomous systems, and artificial intelligence,
there is a growing expectation that robots are able to solve complex problems. Many of …

The traveling salesman problem is one of the most well-known hybrid optimization
problems. It is one of the (NP-complete) problems that its various applications have …

We propose a decentralized solution to a highlevel task-planning problem for a multi-agent
system under a set of possibly dependent LTLf specifications. We propose an approach …

Hybrid dynamical systems describe the mixed discrete dynamics and continuous dynamics
of cyber-physical systems such as aircraft, cars, trains, and robots. To justify correctness …

We propose a compositional solution to the strategy synthesis problem for LTL specifications
in the cooperative (heterogeneous) multi-agent scenario. A main challenge of the general …

The conventional Wonham-Ramadge supervisory control framework of discrete event
systems enforces a closed discrete event system to generate correct behaviors under certain …

As the deployment of autonomous robots in real-world environments becomes increasingly
prevalent, the need for these robots to operate safely and efficiently alongside human actors …

The recent development in communication networks and computational devices has greatly
enhanced the technological evolution of Cyber-Physical Systems (CPSs), such as …

The major goal of this project was to develop a hierarchical control architecture for
cooperative multi-agent systems that has the potential to unify existing design methods for …