Hybrid Systems: Computation and Control
From MaRDI portal
Publication:5703932
DOI10.1007/b106766zbMath1078.93063MaRDI QIDQ5703932
Publication date: 11 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106766
Related Items
Stochastic models for chemically reacting systems using polynomial stochastic hybrid systems, Engineering constraint solvers for automatic analysis of probabilistic hybrid automata, Moment-based analysis of stochastic hybrid systems with renewal transitions, Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems