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 9th International Workshop on Discrete Event Systems ◽

10.1109/wodes.2008.4605974 ◽

2008 ◽

Author(s):

Francesco Basile ◽

Pasquale Chiacchiot ◽

Gianmaria De Tommasi

Keyword(s):

Sufficient Conditions

Download Full-text

Author index

2008 9th International Workshop on Discrete Event Systems ◽

10.1109/wodes.2008.4605995 ◽

2008 ◽

Download Full-text

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

2008 9th International Workshop on Discrete Event Systems ◽

10.1109/wodes.2008.4605958 ◽

2008 ◽

Author(s):

Adam M. Halasz ◽

Julius A. Agung ◽

George Pappas ◽

Vijay Kumar

Keyword(s):

Download Full-text

Supervision of an industrial plant subject to a maximal duration constraint

2008 9th International Workshop on Discrete Event Systems ◽

10.1109/wodes.2008.4605954 ◽

2008 ◽

Author(s):

Abdourrahmane M. Atto ◽

Claude Martinez ◽

Said Amari

Keyword(s):

Industrial Plant

Download Full-text

SAT-solving in practice

2008 9th International Workshop on Discrete Event Systems ◽

10.1109/wodes.2008.4605923 ◽

2008 ◽

Author(s):

Koen Claessen ◽

Niklas Een ◽

Mary Sheeran ◽

Niklas Sorensson

Keyword(s):

Download Full-text

Supervisory control of DES with distinguishing sensors

2008 9th International Workshop on Discrete Event Systems ◽

10.1109/wodes.2008.4605917 ◽

2008 ◽

Author(s):

Gustavo Bouzon ◽

Max H. de Queiroz ◽

Jose E. R. Cury

Keyword(s):

Supervisory Control

Download Full-text

Extraction and representation of a supervisor using guards in extended finite automata

2008 9th International Workshop on Discrete Event Systems ◽

10.1109/wodes.2008.4605944 ◽

2008 ◽

Author(s):

S. Miremadi ◽

K. Akesson ◽

B. Lennartson

Keyword(s):

Finite Automata

Download Full-text

Qualitative modelling of biological regulatory networks combining a logical multi-valued formalism and Petri nets

2008 9th International Workshop on Discrete Event Systems ◽

10.1109/wodes.2008.4605957 ◽

2008 ◽

Author(s):

Claudine Chaouiya

Keyword(s):

Regulatory Networks ◽

Qualitative Modelling ◽

Biological Regulatory Networks

Download Full-text

Practical applications of Boolean Satisfiability

2008 9th International Workshop on Discrete Event Systems ◽

10.1109/wodes.2008.4605925 ◽

2008 ◽

Author(s):

Joao Marques-Silva

Keyword(s):

Boolean Satisfiability ◽

Practical Applications

Download Full-text

Monte-Carlo-based partially observable Markov decision process approximations for adaptive sensing

2008 9th International Workshop on Discrete Event Systems ◽

10.1109/wodes.2008.4605941 ◽

2008 ◽

Author(s):

Edwin K. P. Chong ◽

Christopher M. Kreucher ◽

Alfred O. Hero

Keyword(s):

Monte Carlo ◽

Markov Decision Process ◽

Decision Process ◽

Adaptive Sensing ◽

Markov Decision ◽

Partially Observable Markov ◽

Partially Observable

Download Full-text