Verified hybrid controllers for automated vehicles
From MaRDI portal
Publication:4393078
DOI10.1109/9.664155zbMath0904.90057OpenAlexW2118477082MaRDI QIDQ4393078
John Lygeros, Datta N. Godbole, Shankar S. Sastry
Publication date: 8 June 1998
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/387670d34829c152548da5847be14da0a2309584
Related Items
Verification of cooperating traffic agents ⋮ On reachability and minimum cost optimal control ⋮ Border collision bifurcations in a one-dimensional piecewise smooth map for a PWM current-programmed H-bridge inverter ⋮ On the expressiveness and decidability of o-minimal hybrid systems ⋮ Denotational semantics of hybrid automata ⋮ Event-triggered impulsive observers for continuous-time dynamical systems ⋮ Boundary value problems for nonlinear implicit Caputo-Hadamard-type fractional differential equations with impulses ⋮ Existence and uniqueness of solutions for fractional nonlinear hybrid impulsive system ⋮ Shield synthesis ⋮ On Caputo-Hadamard type fractional impulsive hybrid systems with nonlinear fractional integral conditions ⋮ Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges ⋮ Multi-level control for multiple mobile robot systems ⋮ Stabilization of discrete-time planar switched linear systems with impulse ⋮ Compositionality issues in discrete, continuous, and hybrid systems ⋮ A numerical algorithm for optimal control of a class of hybrid systems: differential transformation based approach ⋮ Waypoint Selection in Constrained Domains (for Cooperative Systems) ⋮ On the control of uncertain impulsive systems: approximate stabilization and controlled invariance ⋮ A distributed protocol for motion coordination in free-range vehicular systems ⋮ On impulsive boundary value problems of fractional differential equations with irregular boundary conditions ⋮ Hybrid switching controller design for the maneuvering and transit of a training ship ⋮ Modal exact linearization of a class of second-order switched nonlinear systems ⋮ An abstract model for proving safety of autonomous urban traffic ⋮ On symbolic hybrid systems ⋮ On impulsive nonlocal integro-initial value problems involving multi-order Caputo-type generalized fractional derivatives and generalized fractional integrals ⋮ Proving Safety of Traffic Manoeuvres on Country Roads ⋮ The role of systems biology, neuroscience, and thermodynamics in network control and learning ⋮ Non-linear impulsive dynamical systems. Part I: Stability and dissipativity