Semantic Scholar uses AI to extract papers important to this topic.
We present a scalable reachability algorithm for hybrid systems with piecewise affine, non-deterministic dynamics. It combines… Expand Robust stability and control for systems that combine continuous-time and discrete-time dynamics. This article is a tutorial on… Expand Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical… Expand Adaptive web sites may offer automated recommendations generated through any number of well-studied techniques including… Expand The study of the stability properties of switched and hybrid systems gives rise to a number of interesting and challenging… Expand A hybrid system is a dynamical system with both discrete and continuous state changes. For analysis purposes, it is often useful… Expand The problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives is considered. We present… Expand A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a… Expand We present a general framework for the formal specification and algorithmic analysis of hybrid systems. A hybrid system consists… Expand We introduce the framework of hybrid automata as a model and specification language for hybrid systems. Hybrid automata can be… Expand