This study examined the relationship between supervisory justice and trust in supervisor and their impacts on extra-role performance. Drawing on fairness heuristic theory, we hypothesized that supervisory interactional justice would significantly affect the two domains of trust in supervisor, namely, reliance and disclosure, which in turn enhance subordinate extra-role performance. We also pred...

While the goal of verification is to check whether a model of the system under consideration has a desired property, supervisory control achieves correctness by adding a so-called supervisor that prevents the occurrence of incorrect behaviors to the original system. Supervisory control methods are appealing because they can be much more tractable than the corresponding verification problems. He...

A supervisory fuzzy neural network (FNN) control system is designed to track periodic reference inputs in this study. The control system is composed of a permanent magnet (PM) synchronous servo motor drive with a supervisory FNN position controller. The supervisory FNN controller comprises a supervisory controller, which is designed to stabilize the system states around a defined bound region a...

Surveillance missions for multiple autonomous underwater vehicle (AUV) system suggest the use of different modes of operation including organizing and keeping a predefined formation, avoiding obstacles, reaching static and tracking dynamic targets. While exploiting a leader-follower strategy to formation control and the vector Lyapunov function method to controller design, we use discrete-event...

This paper introduces a novel planning method for reactive agents. Our planning method han­ dles, in a single framework, issues from A I , control theory, and concurrency that have so far been considered apart. These issues are mostly control labi l i ty, safety, bounded liveness, and real t ime. Our approach is founded on the supervisory control theory and on Metric Temporal Logic ( M T L ) . ...

This chapter deals with modelling and control of discrete event systems. Discrete event systems (DES) are event driven man made systems whose evolution is guided by occurrences of asynchronous events as opposed to classical time driven discrete or continuous systems. DES are modelled by tools from computer science like automata, Petri nets and process algebras. There are two major streams in co...