The following pages link to Matthias Althoff (Q988779):
Displaying 10 items.
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes (Q988780) (← links)
- Time-triggered conversion of guards for reachability analysis of hybrid automata (Q1683445) (← links)
- Formal Safety Net Control Using Backward Reachability Analysis (Q6077141) (← links)
- Privacy-preserving set-based estimation using partially homomorphic encryption (Q6099919) (← links)
- Distributed set-based observers using diffusion strategies (Q6113886) (← links)
- Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges (Q6160737) (← links)
- Constrained polynomial zonotopes (Q6171823) (← links)
- Scalable Robust Safety Filter With Unknown Disturbance Set (Q6199954) (← links)
- Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets (Q6199955) (← links)
- Adaptive Parameter Tuning for Reachability Analysis of Linear Systems (Q6504002) (← links)
