Research Output 1990 2017

Filter
Paper
2012

Stability of reset systems

Polenkova, S., Polderman, J. W. & Langerak, R. Jul 2012 p. 0074 8 p.

Research output: Scientific - peer-reviewPaper

Asymptotic stability
Linear matrix inequalities
2003

Stability Analysis for Hybrid Automata Using Conservative Gains

Langerak, R., Engell, S. (ed.), Guegen, H. (ed.), Polderman, J. W., Krilavicius, T. & Zaytoon, J. (ed.) 2003 p. 377-382 6 p.

Research output: Scientific - peer-reviewPaper

Hybrid automata
Lyapunov function
Estimate
Asymptotically stable
Hyperplane
2001
6 Citations

First passage time analysis of stochastic process algebra using partial orders

Margaria, T. (ed.), Ruys, T. C., Yi, W. (ed.), Langerak, R., Katoen, J. P., Latella, D. & Massink, M. 2001 p. 220-235 16 p.

Research output: Scientific - peer-reviewPaper

Algebra
Random processes
Numerical analysis
Semantics
1999

A complete finite prefix for process algebra

Halbwachs, N. (ed.), Langerak, R., Peled, D. (ed.) & Brinksma, H. 1999 p. 184-195 12 p.

Research output: Scientific - peer-reviewPaper

Process algebra
Prefix
Model
Event structures
Optimization
1997

Causal ambiguity and partial orders in event structures

Langerak, R., Mazurkiewizc, A. W. (ed.), Brinksma, H., Winkowski, J. (ed.) & Katoen, J. P. 1997 p. 317-332 16 p.

Research output: Scientific - peer-reviewPaper

Semantics
Syntactics
Model structures

Validation of Bosch' Mobile Communication NetworkArchitecture with SPIN

Ruys, T. C. & Langerak, R. Apr 1997 14 p.

Research output: Scientific - peer-reviewPaper

Communication systems
Railroad cars
1996

Stochastic simulation of event structures

Katoen, J. P., Ribaudo, M. (ed.), Brinksma, H., Latella, D. & Langerak, R. 1996 p. 21-49 29 p.

Research output: Scientific - peer-reviewPaper