Parameter Identification Using Δ-decisions for Biological Hybrid Systems

No abstract is available for this paper.

• Publication year

  year unknown

• Venue

  Unknown venue

• Publication date

  Unknown publication date

• Fields of study

  Not labeled

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models

  2013cited by this paper
• δ-Complete Decision Procedures for Satisfiability over the Reals

  2012cited by this paper
• A whole-cell computational model predicts phenotype from genotype.

  2012cited by this paper
• Approximate probabilistic analysis of biopathway dynamics

  2012cited by this paper
• Modeling and Analysis of biopathways Dynamics

  2012cited by this paper
• Delta-Decidability over the Reals

  2012cited by this paper
• Formal verification of hybrid systems

  2011cited by this paper
• From Cardiac Cells to Genetic Regulatory Networks

  2011cited by this paper
• Qualitative Analysis of Genetic Regulatory Networks in Bacteria

  2011cited by this paper
• Online model checking approach based parameter estimation to a neuronal fate decision simulation model in Caenorhabditis elegans with hybrid functional Petri net with extension.

  2011cited by this paper
• A Computational and Experimental Study of the Regulatory Mechanisms of the Complement System

  2011cited by this paper
• Formal analysis for logical models of pancreatic cancer

  2011cited by this paper
• Mathematical modeling of prostate cancer progression in response to androgen ablation therapy

  2011cited by this paper
• Mathematical modelling of prostate cancer growth and its application to hormone therapy

  2010cited by this paper
• Piecewise affine systems modelling for optimizing hormone therapy of prostate cancer

  2010cited by this paper
• Hybrid optimal scheduling for intermittent androgen suppression of prostate cancer.

  2010cited by this paper
• Development of a mathematical model that predicts the outcome of hormone therapy for prostate cancer.

  2010cited by this paper
• Theory of hybrid dynamical systems and its applications to biological and medical systems

  2010cited by this paper
• Intermittent androgen suppression for prostate cancer

  2010cited by this paper
• Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology

  2009cited by this paper
• Formal Methods for Computational Systems Biology

  2008cited by this paper
• Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway

  2008cited by this paper
• Emergent decision-making in biological signal transduction networks

  2008cited by this paper
• Modelling excitable cells using cycle-linear hybrid automata.

  2008cited by this paper
• Using probabilistic model checking in systems biology

  2008cited by this paper
• Minimal model for human ventricular action potentials in tissue.

  2008cited by this paper
• Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty

  2008cited by this paper
• A Mathematical Model of Intermittent Androgen Suppression for Prostate Cancer

  2008cited by this paper
• Locally advanced prostate cancer: Biochemical results from a prospective phase II study of intermittent androgen suppression for men with evidence of prostate‐specific antigen recurrence after radiotherapy

  2007cited by this paper
• Final results of the Canadian prospective phase II trial of intermittent androgen suppression for men in biochemical recurrence after radiotherapy for locally advanced prostate cancer

  2006cited by this paper
• Behavioural Approximations for Restricted Linear Differential Hybrid Automata

  2006cited by this paper
• Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs

  2006cited by this paper
• PHAVer: algorithmic verification of hybrid systems past HyTech

  2005cited by this paper
• Computable Analysis

  2005cited by this paper
• Advances in prostate cancer

  2004cited by this paper
• Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks

  2004cited by this paper
• Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling: Delta-Notch protein signalling.

  2004cited by this paper
• Modeling and querying biomolecular interaction networks

  2004cited by this paper
• A mathematical model of prostate tumor growth and androgen-independent relapse

  2003cited by this paper
• Biopathways Representation and Simulation on Hybrid Functional Petri Net

  2003cited by this paper
• Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing

  2003cited by this paper
• Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement

  2003cited by this paper
• Discrete abstractions of hybrid systems

  2000cited by this paper
• Discrete-Time Control for Rectangular Hybrid Automata

  1997cited by this paper
• The theory of hybrid automata

  1996cited by this paper
• [Theoretical considerations and initial clinical results of intermittent hormone treatment of patients with advanced prostatic carcinoma].

  1995cited by this paper
• Implication of cell kinetic changes during the progression of human prostatic cancer.

  1995cited by this paper
• Cancer statistics

  1989influential reference

• Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances

  2020cites this paper
• A Model Checking-based Analysis Framework for Systems Biology Models

  2020cites this paper
• Generating Safety Guidance for Medical Injection with Three-Compartment Pharmacokinetics Model

  2018cites this paper
• Probabilistic bounded reachability for stochastic hybrid systems

  2018cites this paper
• dReach: δ-Reachability Analysis for Hybrid Systems

  2015cites this paper
• Delta-Complete Analysis for Bounded Reachability of Hybrid Systems

  2014cites this paper