The following pages link to R. Langerak (Q360664):
Displaying 12 items.
- Stability and robustness of planar switching linear systems (Q360665) (← links)
- (Q2769589) (← links)
- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control (Q3523143) (← links)
- (Q3542570) (← links)
- (Q4028627) (← links)
- (Q4499203) (← links)
- (Q4817543) (← links)
- (Q4994964) (← links)
- Discretization of Continuous Dynamical Systems Using UPPAAL (Q5047046) (← links)
- Improving the Timed Automata Approach to Biological Pathway Dynamics (Q5217298) (← links)
- (Q5440487) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479146) (← links)
