Browsing by Author "Brandin, Bertil A."

Now showing items 1-2 of 2

  • Implementation considerations in supervisory control

    Malik, Robi; Dietrich, Petra; Wonham, W. M.; Brandin, Bertil A. (2001-06)
    With supervisory control theory it is possible to describe controllers which influence the behaviour of a system by disabling controllable events. But sometimes it is desirable to have a controller which not only disables ...
  • Incremental verification and synthesis of discrete-event systems guided by counter-examples

    Brandin, Bertil A.; Malik, Robi; Malik, Petra (Institute of Electrical and Electronics Engineers, Inc. (IEEE Inc.), 2004)
    This article presents new approaches to system verification and synthesis based on subsystem verification and the novel combined use of counterexamples and heuristics to identify suitable subsystems incrementally. The scope ...

Bertil A. Brandin has 4 co-authors in Research Commons.