Interval Reachability Analysis : Bounding Trajectories of Uncertain Systems with Boxes for Control and Verification | 1:a upplagan

av Pierre-Jean Meyer och Alex Devonport

Köp begagnad bok

Fint skick Ej i lager 442 kr
Godkänt skick Ej i lager 372 kr
Slitet skick Ej i lager 307 kr

Ej i lager. Bevaka denna bok.

Köp ny bok

Ny bok 599 kr

Fakta

Förlag	Springer Nature
Språk	Engelska
Bandtyp	Häftad
Utgiven	2021-01-30
Upplaga	1
Antal sidor	100
ISBN	9783030651091
Kategori(er)

Lägg i varukorgen

Beskrivning

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:

interval analysis;
monotonicity theory;
contraction theory; and
data-driven techniques that sample trajectories.

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.

Läs mer

Hittills har vi återanvänt

böcker.

Sveriges grönaste och skönaste bokhandel med den billigaste kurslitteraturen.

Detta är vår ambition och vi tummar inte på något för att nå dit. Vi finns till för att hjälpa studenter att spara och tjäna pengar på sin kurslitteratur samtidigt som vi tillsammans gör miljön en tjänst. Företaget startade våren 2005 av två studenter och har sedan dess strävat mot att ständigt göra det enklare att köpa och sälja begagnad kurslitteratur för så många som möjligt.

Öppettider