A Taylor Function Calculus for Hybrid System Analysis Validation in Coq P. Collins1

First Page		Document Content
Date: 2010-07-23 02:52:18 Dynamical systems Systems science Systems theory Differential equations Control theory Hybrid system Metabolism Ariadne Verification Nonlinear system Coq Coenzyme Q10		A Taylor Function Calculus for Hybrid System Analysis Validation in Coq P. Collins1 Add to Reading List Source URL: www.lix.polytechnique.fr Download Document from Source Website File Size: 465,42 KB Share Document on Facebook

	MODULI OF STOKES TORSORS AND SINGULARITIES OF DIFFERENTIAL EQUATIONS by Jean-Baptiste Teyssier Abstract. — Let M be a meromorphic connection with poles along a smooth divisor DocID: 1xU9F - View Document
	Towards Solving Differential Equations through Neural Programming Forough Arabshahi 1 Sameer Singh 1 Animashree Anandkumar 2 1. Introduction Differential equations are used to model numerous phenomena such as heat, elec DocID: 1xU7Z - View Document
	Modeling and Simulation of Differential Equations in Scicos DocID: 1vqdY - View Document
	C. R. Acad. Sci. Paris, Ser. I–162 http://france.elsevier.com/direct/CRASS1/ Partial Differential Equations Sharp decay rates for the fastest conservative diffusions DocID: 1voVh - View Document
	Stratified order one differential equations in positive characteristic DocID: 1vlUn - View Document