Heaps models are powerful models for concurrent timed discrete event systems. They admit linear description using dioid algebras. Inspired by supervisory control of logical discrete event systems we introduce parallel composition of heap models, called synchronous product, to formally describe the action of supervisor (represented by another heap model) on the system. This additional explicit c...

A lot of work & research has been done in HCI supervision-type industrial context, but mostly relative to control rooms and local supervision. However, many multi-site or extended and complex organisations are faced with some new challenges and trends such as supervisory systems integration and unified access of the different actors which have not been much considered so far. A service oriented...

For Internet-based remote control systems, certain human operations may violate desired safety requirements and result in catastrophic failure. For such human-in-the-loop systems, this paper proposes a systematic approach to developing supervisory agents which guarantee that remote manual operations meet safety specifications. By applying the mutual exclusion concept, the Petri net approach is ...

This article reviews lessons learned about managing the safety and health of workers who were involved in disaster response, recovery, and cleanup after the 2001 World Trade Center (WTC) disaster. The first two sections review ongoing responder health burdens and the tragic toll of this disaster from a worker safety and health perspective. The remaining sections address changes in federal infra...

Hybrid dynamic systems are of major research interest nowadays due to their use as models in many applications in computer science and systems control. One of the major problems in hybrid dynamic systems is establishing their key property of stability, which also is important in controller design. The use of communication networks in supervisory control of distributed control systems introduces...

All signals were transmitted between the primary plant and the protection and control system by means of hard-wired secondary cabling. Protection and control panels located in control rooms were equipped with protection relays, panel mimics and control switches. The primary plant and protection and control panels were hard-wired to a supervisory remote terminal unit (RTU) via a supervisory junc...

Much research has been addressed to nonblocking supervisory control of Discrete-Event Systems (DES) such as Flexible Manufacturing Systems (FMS), and a variety of approaches have been developed. One especially powerful approach, due to Chuan Ma, is based on DES representation by means of State Tree Structures (STS). Using STS, this chapter develops nonblocking supervisory control of a well-know...

In recent years there has been a growing interest in the impact of co-operative union±management relations on ®rm performance and organizational outcomes such as employee turnover and absenteeism. This paper seeks to identify the factors that affect the development of a co-operative industrial relations climate and analyses the effects of that climate on organizational and union allegiance and ...

This study examined the mediating role of service climate in the prediction of employee performance and customer loyalty. Contact employees (N=342) from 114 service units (58 hotel front desks and 56 restaurants) provided information about organizational resources, engagement, and service climate. Furthermore, customers (N=1,140) from these units provided information on employee performance and...

In this paper we investigate the reputational penalties to managers of firms announcing earnings restatements. More specifically, we examine management turnover and the subsequent employment of displaced managers at firms announcing earnings restatements during 1997 or 1998. In contrast to prior research (Beneish 1999; Agrawal et al. 1999), which does not find increased turnover following GAAP ...