Romain Soulat – författare
Visar alla böcker från författaren Romain Soulat. Handla med fri frakt och snabb leverans.
6 produkter
Inverse Method
Parametric Verification of Real-time Unbedded Systems
Av Romain Soulat, Etienne Andr
E-bok, 2013
2216 kr
Lägg i varukorg
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 …
Inverse Method
Parametric Verification of Real-time Unbedded Systems
Av Romain Soulat, Etienne Andr
E-bok, 2013
2265 kr
Lägg i varukorg
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 …
Control of Switching Systems by Invariance Analysis
Applcation to Power Electronics
Av Romain Soulat, Laurent Fribourg
E-bok, 2013
2265 kr
Lägg i varukorg
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 …
Control of Switching Systems by Invariance Analysis
Applcation to Power Electronics
Av Romain Soulat, Laurent Fribourg
E-bok, 2013
2265 kr
Lägg i varukorg
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 …
Inverse Method
Parametric Verification of Real-time Unbedded Systems
Av Etienne André, Romain Soulat
Inbunden, 2013
1953 kr
Lägg i varukorg
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 …
Control of Switching Systems by Invariance Analysis
Applcation to Power Electronics
Av Laurent Fribourg, Romain Soulat
Inbunden, 2013
1988 kr
Lägg i varukorg
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 …
