Tous les livres numériques de Romain Soulat en PDF et EPUB

2 Livre(s)
Télécharger le livre : Control of Switching Systems by Invariance Analysis
Control of Switching Systems by Invariance Analysis
Laurent Fribourg , Romain Soulat
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...

Editeur : Wiley-ISTE
Parution : 2013-08-05
PDF, ePub

187,49 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : The Inverse Method
The Inverse Method
Etienne André , Romain Soulat
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,...

Editeur : Wiley-ISTE
Parution : 2013-02-20
PDF, ePub

187,49 €
Téléchargement immédiat
Dès validation de votre commande