Synthesized fault-tolerant supervisory controllers, with an application to a rotating bridge. - Ferdie F. H. Reijnen; Eva-Britt Leliveld; Joanna M. van de Mortel-Fronczak; John van Dinther; Jacobus E. Rooda; Wan J. Fokkink (Comput. Ind., 2021)