Romain Soulat: 2 books
Control of Switching Systems by Invariance Analysis
Applcation to Power Electronics
Language: English
Release Date: August 5, 2013
This book presents correct-by-design control techniques for switching systems, using different methods of stability analysis. Switching systems are increasingly used in the electronics and mechanical industries; in power electronics and the automotive industry, for example. This is due to their flexibility...
The Inverse Method
Parametric Verification of Real-time Unbedded Systems
Language: English
Release Date: February 20, 2013
This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed automata as well as several...