Your search returned 2 results.

Sort
Results
Networks of Dissipative Systems : Compositional Certification of Stability, Performance, and Safety / by Murat Arcak, Chris Meissen, Andrew Packard

by Arcak, Murat | SpringerLink (Online service) | Meissen, Chris | Packard, Andre.

Edition: 1st ed.Material type: bookE-book Publisher: Cham : Springer International Publishing, 2016Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TK5105.5 .A73 2016 EB reference

Interval Reachability Analysis Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification / by Pierre-Jean Meyer, Alex Devonport, Murat Arcak.

by Meyer, Pierre-Jean, autor | Devonport, Alex, autor | Arcak, Murat, autor.

Edition: First edition 2021Material type: bookE-book Publisher: Cham : Springer International Pulishing, 2021Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) TJ213 2021 EB reference

Pages