First Page | Document Content | |
---|---|---|
Date: 2010-07-23 02:52:18Dynamical 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. Collins1Add to Reading ListSource URL: www.lix.polytechnique.frDownload Document from Source WebsiteFile Size: 465,42 KBShare Document on Facebook |
Third Call for Papers TOPICS 21st International Conference on System Theory, Control andDocID: 1vrw3 - View Document | |
A Dynamic Field Theory Based Pilot Model To Control Aircraft Pitch Attitudes Yasin Kaygusuz () TAI, Turkish Aerospace Industries, Fethiye Mah., Havacılık blv. No17, Akıncı, Kazan 06980, Ankara, TuDocID: 1vmTp - View Document | |
New Mathematical Tools in Reach Control Theory by Melkior OrnikDocID: 1vm3Q - View Document | |
IMPLICIT DISCRETIZATION IN SLIDING-MODE CONTROL: THEORY AND EXPERIMENTS IMPLICIT DISCRETIZATION IN SLIDING-MODE CONTROL: THEORY AND EXPERIMENTS Bernard Brogliato, INRIA GrenobleDocID: 1v4sN - View Document | |
References Summer School on Time Delay Equations and Control Theory Dobbiaco, June 25–DocID: 1uZZa - View Document |