This paper introduces the concept of a hybrid system and some of the challenges associated
with the stability of such systems, including the issues of guaranteeing stability of switched …

Between the well-studied areas of discontinuous control [1],[2] on the one hand and
sampled data control [3] on the other lies the largely unexplored area of logic-based …

After going through all the previous chapters, it would be natural for readers to conclude that
DES are inherently complex and hard to analyze, regardless of the modeling framework …

Planning algorithms are impacting technical disciplines and industries around the world,
including robotics, computer-aided design, manufacturing, computer graphics, aerospace …

Deeper neural networks are more difficult to train. We present a residual learning framework
to ease the training of networks that are substantially deeper than those used previously. We …

l\lany systems encountered in practice involve a coupling between contin uous dynamics
and discrete events. Systems in which these two kinds of dynamics coexist and interact are …

Learning, planning, and representing knowledge at multiple levels of temporal abstraction
are key, longstanding challenges for AI. In this paper we consider how these challenges can …

This paper proposes a framework for modeling and controlling systems described by
interdependent physical laws, logic rules, and operating constraints, denoted as mixed …

We introduce some analysis tools for switched and hybrid systems. We first present work on
stability analysis. We introduce multiple Lyapunov functions as a tool for analyzing …

Air traffic management (ATM) of the future allows for the possibility of free flight, in which
aircraft choose their own optimal routes, altitudes, and velocities. The safe resolution of …