The Fundamentals of Hybrid Systems Modelers Albert Benveniste, INRIA-Rennes Campus de BeaulieuRennes cedex, France Benoît Caillaud, INRIA-Rennes

First Page		Document Content
Date: 2015-04-17 12:15:00 Theoretical computer science Denotational semantics Logic in computer science Dynamical system Continuous function State space Itō diffusion Mathematical analysis Mathematics Control theory		The Fundamentals of Hybrid Systems Modelers Albert Benveniste, INRIA-Rennes Campus de BeaulieuRennes cedex, France Benoît Caillaud, INRIA-Rennes Add to Reading List Source URL: www.di.ens.fr Download Document from Source Website File Size: 337,26 KB Share Document on Facebook