Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations

2000 ◽  
pp. 73-88 ◽  
Author(s):  
Oleg Botchkarev ◽  
Stavros Tripakis
Keyword(s):  
Hybrid Systems ◽  
Differential Inclusions ◽  
Linear Differential Inclusions ◽  
Ellipsoidal Approximations ◽  
Verification Of Hybrid Systems ◽  
Linear Differential

Chemical networks with inflows and outflows: A positive linear differential inclusions approach

2009 ◽  
Vol 25 (3) ◽  
pp. 632-642 ◽  
Author(s):  
David Angeli ◽  
Patrick De Leenheer ◽  
Eduardo D. Sontag
Keyword(s):  
Differential Inclusions ◽  
Linear Differential Inclusions ◽  
Linear Differential

Algebraic Criteria for Qualitative Analysis of Nonlinear Dynamics in Biochemistry

2008 ◽  
Author(s):  
Kiriakos Kiriakidis ◽  
George Nakos
Keyword(s):  
Nonlinear Dynamics ◽  
Asymptotic Stability ◽  
Convex Hull ◽  
Qualitative Analysis ◽  
Differential Inclusions ◽  
Sufficient Conditions ◽  
Biochemical Reaction ◽  
Aggregate Modeling ◽  
Linear Differential Inclusions ◽  
Linear Differential

Aggregate modeling can approximate the convex hull of local matrices to nonlinear dynamics for any given accuracy. The authors use aggregate models to extend sufficient conditions for asymptotic stability of linear differential inclusions to nonlinear dynamics. An example illustrates the applicability of the proposed criteria to the analysis of nonlinear biochemical reaction chains.

Sign in / Sign up

Export Citation Format

Share Document