Hybrid Systems: Computation and Control
From MaRDI portal
Publication:5307463
DOI10.1007/B96398zbMATH Open1135.93334OpenAlexW2476491145MaRDI QIDQ5307463FDOQ5307463
Authors: Calin Belta, Peter Finin, L. C. G. J. M. Habets, Ádám M. Halász, Marcin Imieliński, R. Vijay Kumar, Harvey Rubin
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
Recommendations
- Hybrid Systems: Computation and Control
- Symbolic reachability analysis of genetic regulatory networks using discrete abstractions
- Hybrid Automata in Systems Biology: How Far Can We Go?
- MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems
- Hybrid automata, reachability, and systems biology
Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.) (92C45) Nonlinear systems in control theory (93C10)
Cited In (7)
- MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems
- Delay independent stability of linear switching systems with time delay
- Hybrid Systems: Computation and Control
- Computational challenges in systems biology
- Piecewise-linear models of genetic regulatory networks: equilibria and their stability
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Title not available (Why is that?)
This page was built for publication: Hybrid Systems: Computation and Control
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5307463)