by Pierre-Jean Meyer and Alex Devonport
| Publisher | Springer Nature |
| Language | English |
| Book type | Paperback |
| Utgiven | 2021-01-30 |
| Edition | 1 |
| Pages | 100 |
| ISBN | 9783030651091 |
| Kategori(er) |
This brief presents a suite of computationally efficient methods for bounding trajectories of dynamical systems with multi-dimensional intervals, or ‘boxes’. It explains the importance of bounding trajectories for evaluating the robustness of systems in the face of parametric uncertainty, and for verification or control synthesis problems with respect to safety and reachability properties. The methods presented make use of:
The methods are implemented in an accompanying open-source Toolbox for Interval Reachability Analysis.
This brief provides a tutorial description of each method, focusing on the requirements and trade-offs relevant to the user, requiring only basic background on dynamical systems. The second part of the brief describes applications of interval reachability analysis. This makes the brief of interest to a wide range of academic researchers, graduate students, and practising engineers in the field of control and verification.
So far, we have reused
2
5
0
6
3
1
4
books.
Sweden's friendliest and environmental friendliest bookshop with the lowest priced textbooks.
This is our ambition, and we do what it takes to get there. We are here to help students to save and earn money on their textbooks while we at the same time save the environment. We were started in 2005 by two students and have since strived to constantly make it easier to buy and sell used textbooks for as many as possible.
Subscribe to receive our best student tips, offers and promotions.
Read more about how we handle personal data in our privacy policy.
| Bookshop | Today | Tomorrow |
|---|---|---|
| Göteborg | Closed until 18 November | |
| Karlstad | Closed until 18 November | |
| Linköping | Closed until 18 November | |
| Lund | Closed until 18 November | |
| Malmö | Closed until 18 November | |
| Örebro | Closed until 18 November | |
| Stockholm | Closed until 18 November | |
| Umeå | Closed until 18 November | |
| Uppsala | Closed until 18 November | |
| Växjö | Closed until 18 November | |
