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

	LECTURE 2 Information theory for complex systems Stefan Thurner www.complex-systems.meduniwien.ac.at DocID: 1xVpK - View Document
	Group Henzinger Software Systems Theory Systems Biology Group members DocID: 1xV3x - View Document
	Theory of Computing Systems manuscript No. (will be inserted by the editor) Self-stabilizing Byzantine Clock Synchronization with Optimal Precision Pankaj Khanchandani · Christoph Lenzen DocID: 1xUPN - View Document
	Use Privacy in Data-Driven Systems Theory and Experiments with Machine Learnt Programs Anupam Datta CMU DocID: 1xUke - View Document
	1684 IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS—I: FUNDAMENTAL THEORY AND APPLICATIONS, VOL. 47, NO. 12, DECEMBER 2000 Performance Analysis of Correlation-Based Communication Schemes Utilizing Chaos DocID: 1voLf - View Document