2008 9th International Workshop on Discrete Event Systems
Latest Publications

TOTAL DOCUMENTS

90
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By IEEE

9781424425921
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Sufficient conditions for diagnosability of Petri nets

2008 ◽  
Author(s):  
Francesco Basile ◽  
Pasquale Chiacchiot ◽  
Gianmaria De Tommasi
Keyword(s):  
Petri Nets ◽  
Sufficient Conditions

scholarly journals From discrete to continuous and back: Abstractions and mesoscopic phenomena in cells

2008 ◽  
Author(s):  
Adam M. Halasz ◽  
Julius A. Agung ◽  
George Pappas ◽  
Vijay Kumar
Keyword(s):  
In Cells

SAT-solving in practice

2008 ◽  
Author(s):  
Koen Claessen ◽  
Niklas Een ◽  
Mary Sheeran ◽  
Niklas Sorensson
Keyword(s):  
Sat Solving

Supervisory control of DES with distinguishing sensors

2008 ◽  
Author(s):  
Gustavo Bouzon ◽  
Max H. de Queiroz ◽  
Jose E. R. Cury
Keyword(s):  
Supervisory Control
Load More ...
Sign in / Sign up

Export Citation Format

Share Document