Hybrid Systems: Computation and Control

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

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)

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)