Equivalence of hybrid dynamical systems

A common theme in theoretical computer science (in particular, the theory of distributed processes and computer-aided verification) and in systems and control theory is to charac-terize systems which are ‘externally equivalent’. The intuitive idea is that we only want to distinguish between two systems if the distinction can be detected by an external syste

Surrogate in-vehicle information systems and driver behaviour: Effects of visual and cognitive load in simulated rural driving

The underlying aim of HASTE, an EU FP5 project, is the development of a valid, cost-effective and reliable assessment protocol to evaluate the potential distraction of an in-vehicle information system on driving performance. As part of this development, the current study was performed to examine the systematic relationship between primary and secondary task complexity for a specific task modality in a particular driving environment. Two fundamentally distinct secondary tasks (or surrogate in-vehicle information systems, sIVIS) were developed: a visual search task, designed such that it only required visual processing/demand and an auditory continuous memory task, intended to cognitively load drivers without any visual stimulus. A high fidelity, fixed-base driving simulator was used to test 48 participants on a car following task. Virtual traffic scenarios varied in driving demand. Drivers compensated for both types of sIVIS by reducing their speed (this result was more prominent during interaction with the visual task). However, they seemed incapable of fully prioritising the primary driving task over either the visual or cognitive secondary tasks as an increase in sIVIS demand was associated with a reduction in driving performance: drivers showed reduced anticipation of braking requirements and shorter time-to-collision. These results are of potential interest to designers of in-vehicle systems

Design and discrete event simulation of power and free handling systems

Effective manufacturing systems design and implementation has become increasingly critical, with the reduction in manufacturing product lead times, and the subsequent influence on engineering projects. Tools and methodologies that can assist the design team must be both manageable and efficient to be successful. Modelling, using analytical and mathematical models, or using computer assisted simulations, are used to accomplish design objectives. This thesis will review the use of analytical and discrete event computer simulation models, applied to the design of automated power and free handling systems, using actual case studies to create and support a practical approach to design and implementation of these types of systems. The IDEF process mapping approach is used to encompass these design tools and system requirements, to recommend a generic process methodology for power and free systems design. The case studies consisted of three actual installations within the Philips Components Ltd facility in Durham, a manufacturer of television tubes. Power and free conveyor systems at PCL have assumed increased functions from the standard conveyor systems, ranging from stock handling and buffering, to type sorting and flexible product routing. In order to meet the demands of this flexible manufacturing strategy, designing a system that can meet the production objectives is critical. Design process activities and engineering considerations for the three projects were reviewed and evaluated, to capture the generic methodologies necessary for future design success. Further, the studies were intended to identify both general and specific criteria for simulating power and free conveyor handling systems, and the ingredients necessary for successful discrete event simulation. The automated handling systems were used to prove certain aspects of building, using and analysing simulation models, in relation to their anticipated benefits, including an evaluation of the factors necessary to ensure their realisation. While there exists a multitude of designs for power and free conveyor systems based on user requirements and proprietary equipment technology, the principles of designing and implementing a system can remain generic. Although specific technology can influence detailed design, a common, consistent approach to design activities was a proven requirement In all cases. Additionally, it was observed that no one design tool was sufficient to ensure maximum system success. A combination of both analytical and simulation methods was necessary to adequately optimise the systems studied, given unique and varying project constraints. It followed that the level of application of the two approaches was directly dependent on the initial engineering project objectives, and the ability to accurately identify system requirements

Supervisor Localization of Discrete-Event Systems based on State Tree Structures

Recently we developed supervisor localization, a top-down approach to distributed control of discrete-event systems in the Ramadge-Wonham supervisory control framework. Its essence is the decomposition of monolithic (global) control action into local control strategies for the individual agents. In this paper, we establish a counterpart supervisor localization theory in the framework of State Tree Structures, known to be efficient for control design of very large systems. In the new framework, we introduce the new concepts of local state tracker, local control function, and state-based local-global control equivalence. As before, we prove that the collective localized control behavior is identical to the monolithic optimal (i.e. maximally permissive) and nonblocking controlled behavior. In addition, we propose a new and more efficient localization algorithm which exploits BDD computation. Finally we demonstrate our localization approach on a model for a complex semiconductor manufacturing system