Searching for authors named "Olaf Stursberg" – sorted by Relevance.
30 documents found, showing 1 through 10.
Next 10 →
-
S.: Control of switched hybrid systems based on disjunctive formulations
- …Control of Switched Hybrid Systems based on Disjunctive Formulations Olaf Stursberg 1…
- Cited by 2 (1 self) – Add To MetaCart
-
The batch evaporator: A benchmark example for safety analysis of processing systems under logic control
- … OF PROCESSING SYSTEMS UNDER LOGIC CONTROL Stefan Kowalewski and Olaf Stursberg Process Control Laboratory (CT…
- Cited by 4 (0 self) – Add To MetaCart
-
Graph Search for Optimizing the Discrete Location Sequence in Hybrid Optimal Control
- … Passenberg ∗ Olaf Stursberg ∗∗ ∗ TU Muenchen,80290 Muenchen, Germany (passenberg@(email omitted);). ∗∗ University…
- Add To MetaCart
-
Optimization of timed automata models using mixed-integer programming
- …Optimization of Timed Automata Models Using Mixed-Integer Programming Sebastian Panek, Olaf…
- Cited by 3 (0 self) – Add To MetaCart
-
A Concept For Safety Analyses Of Chemical Plants Based On Discrete Models With An Adapted Degree Of Abstraction
- … OF ABSTRACTION Olaf Stursberg 1 , Holger Graf 2 , Sebastian Engell 1 , and Henner Schmidt-Traub 2…
- Cited by 4 (0 self) – Add To MetaCart
-
On efficient representation and computation of reachable sets for hybrid systems
- …Efficient Representation and Computation of Reachable Sets for Hybrid Systems Olaf Stursberg 1…
- Cited by 16 (6 self) – Add To MetaCart
-
Online Verification of Cognitive Car Decisions
- …Online Verification of Cognitive Car Decisions Matthias Althoff, Olaf Stursberg and Martin Buss…
- Cited by 3 (3 self) – Add To MetaCart
-
Safety assessment of autonomous cars using verification techniques
- …Safety Assessment of Autonomous Cars using Verification Techniques Matthias Althoff, Olaf…
- Cited by 4 (4 self) – Add To MetaCart
-
Verification of Uncertain Embedded Systems by Computing Reachable Sets based on
- … Althoff ∗ Olaf Stursberg ∗ Martin Buss ∗ ∗ Institute of Automatic Control Engineering (LSR) , Technische…
- Cited by 4 (4 self) – Add To MetaCart
-
Reachability analysis of linear systems with uncertain parameters and inputs
- …, Olaf Stursberg, and Martin Buss Abstract— For a dynamic system with given initial state set…
- Cited by 6 (6 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
