Format | |
---|---|
BibTeX | |
MARCXML | |
TextMARC | |
MARC | |
DublinCore | |
EndNote | |
NLM | |
RefWorks | |
RIS |
Linked e-resources
Details
Table of Contents
Chapter 1. Introduction
Part 1: Reachability Methods
Chapter 2. Interval Analysis
Chapter 3. Monotonicity
Chapter 4. Mixed-Monotonicity
Chapter 5. Sampled-Data Mixed-Monotonicity
Chapter 6. Growth Bounds
Chapter 7. Sampling-Based Methods
Part 2: Applications
Chapter 8. Safety and Reachability Verification
Chapter 9. Interval Volume as a Robustness Measure
Chapter 10. Abstraction-Based Control Synthesis.
Part 1: Reachability Methods
Chapter 2. Interval Analysis
Chapter 3. Monotonicity
Chapter 4. Mixed-Monotonicity
Chapter 5. Sampled-Data Mixed-Monotonicity
Chapter 6. Growth Bounds
Chapter 7. Sampling-Based Methods
Part 2: Applications
Chapter 8. Safety and Reachability Verification
Chapter 9. Interval Volume as a Robustness Measure
Chapter 10. Abstraction-Based Control Synthesis.