Modeling DES with automata and Petri nets. Languages. State estimation and diagnostics. Control specifications. Feedback control. Dealing with uncontrollability and unobservability. Dealing with blocking. Timed automata and Petri nets.

Debugging information