|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A general language-based framework for specifying and verifying notions of opacity |
Wintenberg, Andrew |
|
32 | 2 |
p. 253-289 |
artikel |
|
| 2 | Decentralized diagnosis of discrete event systems subject to permanent sensor failures |
Wada, Akihito |
|
32 | 2 |
p. 159-193 |
artikel |
|
| 3 | Discovering petri nets including silent transitions. A repairing approach based on structural patterns |
Pomares-Angelino, Román |
|
32 | 2 |
p. 291-315 |
artikel |
|
| 4 | Local and global robustness with q-step delay for max-plus linear systems |
Yin, Yingxuan |
|
32 | 2 |
p. 231-251 |
artikel |
|
| 5 | Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications |
Zheng, Huanfei |
|
32 | 2 |
p. 195-230 |
artikel |
|
| 6 | Transformational supervisor synthesis for evolving systems |
Thuijsman, Sander |
|
32 | 2 |
p. 317-358 |
artikel |
6 gevonden resultaten