Discrete controller synthesis for fault-tolerant distributed systems

Embedded systems (aeronautics, automotive, ...) automatic-control/discrete-event duality: sampled time iterations, mode switches; Using discrete controller synthesis for fault-tolerant distributed systems – p. Embedded systems (aeronautics, automotive, ...) automatic-control/discrete-event duality: sampled time iterations, mode switches; critical real-time: timing constraints; Using discrete controller synthesis for fault-tolerant distributed systems – p.2/16 Using discrete controller synthesis for fault-tolerant distributed systems – p.2/16 Using discrete controller synthesis for fault-tolerant distributed systems – p.2/16