| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
ACTL strong negation and its application to hybrid systems verification
|
Han, Zhi
|
|
2006
|
14 |
10 |
p. 1259-1267
9 p.
|
article
|
| 2 |
An urban traffic network model via coloured timed Petri nets
|
Dotoli, Mariagrazia
|
|
2006
|
14 |
10 |
p. 1213-1229
17 p.
|
article
|
| 3 |
Applying automated control synthesis methods to condition systems requiring state observers
|
Holloway, L.E.
|
|
2006
|
14 |
10 |
p. 1169-1181
13 p.
|
article
|
| 4 |
Designing dependable logic controllers using algebraic specifications
|
Roussel, Jean-Marc
|
|
2006
|
14 |
10 |
p. 1143-1155
13 p.
|
article
|
| 5 |
Design of user-interface without automation surprises for discrete event systems
|
Adachi, Masakazu
|
|
2006
|
14 |
10 |
p. 1249-1258
10 p.
|
article
|
| 6 |
Efficient supervisory synthesis of large systems
|
Vahidi, Arash
|
|
2006
|
14 |
10 |
p. 1157-1167
11 p.
|
article
|
| 7 |
Efficient synthesis of production schedules by optimization of timed automata
|
Panek, Sebastian
|
|
2006
|
14 |
10 |
p. 1183-1197
15 p.
|
article
|
| 8 |
Introduction to the WODES2004 Special Issue
|
Zaytoon, Janan
|
|
2006
|
14 |
10 |
p. 1125-1126
2 p.
|
article
|
| 9 |
Modelling and control of discrete event systems using switching max-plus-linear systems
|
van den Boom, T.J.J.
|
|
2006
|
14 |
10 |
p. 1199-1211
13 p.
|
article
|
| 10 |
Modular finite state machines: Development and application to reconfigurable manufacturing cell controller generation
|
Endsley, E.W.
|
|
2006
|
14 |
10 |
p. 1127-1142
16 p.
|
article
|
| 11 |
Monitor design for colored Petri nets: An application to deadlock prevention in railway networks
|
Fanti, M.P.
|
|
2006
|
14 |
10 |
p. 1231-1247
17 p.
|
article
|
Journal description