The following pages link to Gregor Gössler (Q832040):
Displaying 11 items.
- (Q698464) (redirect page) (← links)
- Scheduler modeling based on the controller synthesis paradigm (Q698466) (← links)
- Explaining safety violations in real-time systems (Q832041) (← links)
- Composition for component-based modeling (Q1776582) (← links)
- Causality analysis and fault ascription in component-based systems (Q2193287) (← links)
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884) (← links)
- Probabilistic contracts for component-based design (Q2441722) (← links)
- (Q2766638) (← links)
- Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models (Q2980524) (← links)
- Synthesis of switching controllers using approximately bisimilar multiscale abstractions (Q2986729) (← links)
- Compositional Strategy Mapping (Q3400931) (← links)
