|  |
| |
| Artikel-Nr.:
5667A-9783030651091 Herst.-Nr.:
9783030651091 EAN/GTIN:
9783030651091 |
| |
|
| | |
| Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification Weitere Informationen: | | Author: | Pierre-Jean Meyer; Alex Devonport; Murat Arcak | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine technikbücher - englischsprachig, Bounding Boxes; Finite Abstraction; Interval analysis; Monotone Systems; Monte Carlo Method; Uncertain Systems; dynamical systems; reachability; sample complexity; verification, Reachability, Interval Analysis, Dynamical Systems, Monotone Systems, Uncertain Systems, Bounding Boxes, Verification, Finite Abstraction, Monte Carlo Method, Sample Complexity |
| | |
| |