Discrete Event Systems: Models and Applications - Lecture Notes in Control and Information Sciences
Latest Publications

TOTAL DOCUMENTS

3

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540186663, 9783540480457

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On an analogy of minimal realizations in conventional and discrete-event dynamic systems

Discrete Event Systems: Models and Applications - Lecture Notes in Control and Information Sciences ◽

10.1007/bfb0042310 ◽

1988 ◽

pp. 149-161 ◽

Cited By ~ 4

Author(s):

Geert J. Olsder ◽

Remco E. de Vries

Keyword(s):

Dynamic Systems ◽

Discrete Event ◽

Discrete Event Dynamic Systems ◽

Event Dynamic ◽

Minimal Realizations

Download Full-text

The SMARTIE framework for modelling discrete dynamic systems

Discrete Event Systems: Models and Applications - Lecture Notes in Control and Information Sciences ◽

10.1007/bfb0042312 ◽

1988 ◽

pp. 179-196

Author(s):

Geert-Jan Houben ◽

Jan L. G. Dietz ◽

Kees M. van Hee

Keyword(s):

Dynamic Systems ◽

Discrete Dynamic ◽

Discrete Dynamic Systems

Download Full-text

Distributed reachability analysis for protocol verification environments

Discrete Event Systems: Models and Applications - Lecture Notes in Control and Information Sciences ◽

10.1007/bfb0042303 ◽

1988 ◽

pp. 40-56 ◽

Cited By ~ 4

Author(s):

Sudhir Aggarwal ◽

Rafael Alonso ◽

Costas Courcoubetis

Keyword(s):

Reachability Analysis ◽

Protocol Verification

Download Full-text