Pages that link to "Item:Q4393078"
From MaRDI portal
The following pages link to Verified hybrid controllers for automated vehicles (Q4393078):
Displaying 23 items.
- A distributed protocol for motion coordination in free-range vehicular systems (Q522801) (← links)
- On impulsive boundary value problems of fractional differential equations with irregular boundary conditions (Q696049) (← links)
- On Caputo-Hadamard type fractional impulsive hybrid systems with nonlinear fractional integral conditions (Q901259) (← links)
- Modal exact linearization of a class of second-order switched nonlinear systems (Q984504) (← links)
- On symbolic hybrid systems (Q999561) (← links)
- Boundary value problems for nonlinear implicit Caputo-Hadamard-type fractional differential equations with impulses (Q1679432) (← links)
- Shield synthesis (Q1696587) (← links)
- An abstract model for proving safety of autonomous urban traffic (Q1786569) (← links)
- On reachability and minimum cost optimal control (Q1888412) (← links)
- Stabilization of discrete-time planar switched linear systems with impulse (Q1955993) (← links)
- Hybrid switching controller design for the maneuvering and transit of a training ship (Q2012135) (← links)
- The role of systems biology, neuroscience, and thermodynamics in network control and learning (Q2094058) (← links)
- On impulsive nonlocal integro-initial value problems involving multi-order Caputo-type generalized fractional derivatives and generalized fractional integrals (Q2311550) (← links)
- On the expressiveness and decidability of o-minimal hybrid systems (Q2387414) (← links)
- Denotational semantics of hybrid automata (Q2643331) (← links)
- Event-triggered impulsive observers for continuous-time dynamical systems (Q2667439) (← links)
- Compositionality issues in discrete, continuous, and hybrid systems (Q2716781) (← links)
- Proving Safety of Traffic Manoeuvres on Country Roads (Q2842637) (← links)
- Non-linear impulsive dynamical systems. Part I: Stability and dissipativity (Q3151494) (← links)
- Existence and uniqueness of solutions for fractional nonlinear hybrid impulsive system (Q6086467) (← links)
- Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges (Q6160737) (← links)
- Multi-level control for multiple mobile robot systems (Q6201389) (← links)
- Stability analysis of fractional order fuzzy cellular neural networks with leakage delay and time varying delays (Q6492216) (← links)
