Hybrid Systems: Computation and Control

DOI10.1007/b96398zbMath1135.93374OpenAlexW2476491145MaRDI QIDQ5307936

John Lygeros, William Glover

Publication date: 25 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b96398

zbMATH Keywords

estimationmulti-agentflight controlhybrid and stochastic model

Mathematics Subject Classification ID

Estimation and detection in stochastic control theory (93E10) Traffic problems in operations research (90B20) Stochastic systems in control theory (general) (93E03)

Related Items (15)

A stochastic games framework for verification and control of discrete time stochastic hybrid systems ⋮ Spatio-temporal averaging for a class of hybrid systems and application to conductance-based neuron models ⋮ Robust global recurrence for a class of stochastic hybrid systems ⋮ Robust \(H_{\infty}\) filtering for uncertain nonlinear stochastic systems with mode-dependent time-delays and Markovian jump parameters ⋮ Robust Stability Analysis for Uncertain Time-Delay System ⋮ On the performance of Kalman filter for Markov jump linear systems with mode mismatch ⋮ A multivariate stochastic hybrid model with switching coefficients and jumps: solution and distribution ⋮ \(H_\infty\) filtering for uncertain stochastic time-delay systems with sector-bounded nonlinearities ⋮ Approximately bisimilar symbolic models for randomly switched stochastic systems ⋮ Adaptive step size numerical integration for stochastic differential equations with discontinuous drift and diffusion ⋮ Uniformly convergent sliding mode-based observation for switched linear systems ⋮ Incremental \(H_\infty\) performance for a class of stochastic switched nonlinear systems ⋮ H _∞ filtering for uncertain time-varying systems with multiple randomly occurred nonlinearities and successive packet dropouts ⋮ Hybrid systems: From verification to falsification by combining motion planning and discrete search ⋮ Event-triggered passive control for Markovian jump discrete-time systems with incomplete transition probability and unreliable channels

This page was built for publication: Hybrid Systems: Computation and Control