Hybrid Systems: Computation and Control

From MaRDI portal
Publication:5307936

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




Related Items

A stochastic games framework for verification and control of discrete time stochastic hybrid systemsSpatio-temporal averaging for a class of hybrid systems and application to conductance-based neuron modelsRobust global recurrence for a class of stochastic hybrid systemsRobust \(H_{\infty}\) filtering for uncertain nonlinear stochastic systems with mode-dependent time-delays and Markovian jump parametersRobust Stability Analysis for Uncertain Time-Delay SystemOn the performance of Kalman filter for Markov jump linear systems with mode mismatchA multivariate stochastic hybrid model with switching coefficients and jumps: solution and distribution\(H_\infty\) filtering for uncertain stochastic time-delay systems with sector-bounded nonlinearitiesApproximately bisimilar symbolic models for randomly switched stochastic systemsAdaptive step size numerical integration for stochastic differential equations with discontinuous drift and diffusionUniformly convergent sliding mode-based observation for switched linear systemsIncremental \(H_\infty\) performance for a class of stochastic switched nonlinear systemsH filtering for uncertain time-varying systems with multiple randomly occurred nonlinearities and successive packet dropoutsHybrid systems: From verification to falsification by combining motion planning and discrete searchEvent-triggered passive control for Markovian jump discrete-time systems with incomplete transition probability and unreliable channels