Phillip Starke

Learn More
We present a modular modeling technique for Discrete Event Systems and its application to a modular and distributed controller design. The components of the controller were designed using Moore automata. The model of the interconnected system was set up using Signal-Event nets. Modelchecking was performed for veriication of the design. Critical and(More)
  • 1