Event-Based Supervisor Control for a Bascule Bridge

The automation of a bascule bridge, located in the Netherlands, is studied. The modeling of the system is worked out in the framework of Ramadge-Wonham and analyzed per automation component of the bridge. The desired performance of the bridge is expressed in the form of rules, that will be translated to five groups of sets of regular languages. Next, new groups of sets of regular languages will be introduced by the injection of appropriate uncontrollable events, in order to guarantee the controllability of the languages. Finally, an event-based supervisor scheme will be developed and the nonblockingness of the controlled automaton is proved.