|
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 contribution to the determinization of max-plus automata |
Lahaye, Sébastien |
|
30 | 1 |
p. 155-174 |
artikel |
|
| 2 | Analysis and control of max-plus linear discrete-event systems: An introduction |
De Schutter, Bart |
|
30 | 1 |
p. 25-54 |
artikel |
|
| 3 | Leveraging Horn clause solving for compositional verification ofPLC software |
Bohlender, Dimitri |
|
30 | 1 |
p. 1-24 |
artikel |
|
| 4 | On the relation between reactive synthesis and supervisory control of non-terminating processes |
Schmuck, Anne-Kathrin |
|
30 | 1 |
p. 81-124 |
artikel |
|
| 5 | Path planning for robotic teams based on LTL specifications and Petri net models |
Kloetzer, Marius |
|
30 | 1 |
p. 55-79 |
artikel |
|
| 6 | Stochastic flow models with delays, blocking and applications to multi-intersection traffic light control |
Chen, Rui |
|
30 | 1 |
p. 125-153 |
artikel |
6 gevonden resultaten