Hybrid Systems: Computation and Control

DOI10.1007/B96398MaRDI QIDQ5307463zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

modeling of biological networksspecial nonlinearities

Mathematics Subject Classification ID

Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.) (92C45) Nonlinear systems in control theory (93C10)

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

Cited in

(7)

• scientific article; zbMATH DE number 7455746 (Why is no real title available?)
• Delay independent stability of linear switching systems with time delay
• Piecewise-linear models of genetic regulatory networks: equilibria and their stability
• MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems
• Hybrid Systems: Computation and Control
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Computational challenges in systems biology

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)