Conference Paper

Exception Handling Controllerss: An application of pushdown systems to discrete event control

Oak Ridge Nat. Lab., Oak Ridge, TN
DOI: 10.1109/ACC.2008.4586740 Conference: American Control Conference, 2008
Source: IEEE Xplore


Recent work by the author has extended the Supervisory Control Theory to include the class of control languages defined by pushdown machines. A pushdown machine is a finite state machine extended by an infinite stack memory. In this paper, we define a specific type of deterministic pushdown machine that is particularly useful as a discrete event controller. Checking controllability of pushdown machines requires computing the complement of the controller machine. We show that Exception Handling Controllers have the property that algorithms for taking their complements and determining their prefix closures are nearly identical to the algorithms available for finite state machines. Further, they exhibit an important property that makes checking for controllability extremely simple. Hence, they maintain the simplicity of the finite state machine, while providing the extra power associated with a pushdown stack memory. We provide an example of a useful control specification that cannot be implemented using a finite state machine, but can be implemented using an Exception Handling Controller.

Download full-text


Available from: Christopher Griffin, Jul 28, 2014
  • [Show abstract] [Hide abstract]
    ABSTRACT: A structure of monitor and control of POL (petrol, oil and lubricate) transport by road based on EPC (Electronic Product Code) is established in the paper, which is linked with composition and principle of "internet of things". Before the model of monitor and control POL transport by road is born, the hardware in IOT(Internet of things) is development and software according with the hardware is designed, model of monitor POL transport by road is put forward. Throgh the model, guard against theft and temperature alarm will be designed, mutiple grade authority for management of the picture and video about the tank truck is set, and the local position is ascertained. through the application of the IOT, the visibility and monitor on real time will be realized. At last, from the difference of the traditional transport pattern and the one studied in the paper, benefits of the new model are described obviously.
    No preview · Conference Paper · Jan 2012