Pages that link to "Item:Q2986705"

The following pages link to Proceedings of the 14th international conference on Hybrid systems: computation and control (Q2986705):

Displaying 30 items.

• Observability implies observer design for switched linear systems (Q2986706) (← links)
• Analysis of the joint spectral radius via lyapunov functions on path-complete graphs (Q2986708) (← links)
• The earlier the better (Q2986710) (← links)
• Measuring performance of continuous-time stochastic processes using timed automata (Q2986711) (← links)
• Measurability and safety verification for stochastic hybrid systems (Q2986712) (← links)
• Stochastic non sequitur behavior analysis of fault tolerant hybrid systems (Q2986713) (← links)
• Quantified differential invariants (Q2986714) (← links)
• Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata (Q2986715) (← links)
• Quantitative automata model checking of autonomous stochastic hybrid systems (Q2986716) (← links)
• Reachable set computation for uncertain time-varying linear systems (Q2986717) (← links)
• Scalable calculation of reach sets and tubes for nonlinear systems with terminal integrators (Q2986718) (← links)
• Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata (Q2986719) (← links)
• Hybridization domain construction using curvature estimation (Q2986720) (← links)
• A dynamic algorithm for approximate flow computations (Q2986721) (← links)
• Automatic abstraction of non-linear systems using change of bases transformations (Q2986722) (← links)
• Characterizing knee-bounce in bipedal robotic walking (Q2986723) (← links)
• Impulsive control for nanopositioning (Q2986726) (← links)
• A predictive control solution for driveline oscillations damping (Q2986728) (← links)
• Synthesis of switching controllers using approximately bisimilar multiscale abstractions (Q2986729) (← links)
• Joint synthesis of switching and feedback for linear systems in discrete time (Q2986730) (← links)
• Robust discrete synthesis against unspecified disturbances (Q2986731) (← links)
• Synthesis of memory-efficient "real-time" controllers for safety objectives (Q2986732) (← links)
• Hybrid controllers for tracking of impulsive reference state trajectories (Q2986734) (← links)
• Variational formulation and optimal control of hybrid lagrangian systems (Q2986735) (← links)
• A stochastic reach-avoid problem with random obstacles (Q2986736) (← links)
• Impulsive data association with an unknown number of targets (Q2986738) (← links)
• Resource constrained LQR control under fast sampling (Q2986739) (← links)
• Consensus in networked multi-agent systems with adversaries (Q2986741) (← links)
• Reputation-based networked control with data-corrupting channels (Q2986744) (← links)
• Almost sure stability of networked control systems under exponentially bounded bursts of dropouts (Q2986745) (← links)