<p> Hierarchical Interface-based Supervisory Control (HISC) decomposes a discrete-event system (DES) into a high-level subsystem which communicates with n ≥ 1 low-level subsystems, through separate interfaces which restrict the interaction of the subsystems. It provides a set of local conditions that can be used to verify global conditions such as nonblocking and controllability. As each clause of the definition can be verified using a single subsystem, the complete system model never needs to be stored in memory, offering potentially significant savings in computational resources.</p> <p> Currently, a designer must create the supervisors for a HISC system himself, and then verify that they satisfy the HISC conditions. In this thesis, we develop a synthesis method that respects the HISC hierarchical structure. We replace the supervisor for each level by a corresponding specification DES. We then do a per level synthesis to construct for each level a maximally permissive supervisor that satisfies the corresponding HISC conditions.</p> <p> We define a set of language based fixpoint operators and show that they compute the required level-wise supremal languages. We then present algorithms that implement the fixpoint operators. We present a complexity analysis for the algorithms and show that they potentially offer significant improvement over the monolithic approach.</p> <p> A large manufacturing system example (estimated worst case state space on the order of 10^22) extended from the AIP example is discussed. A software tool for synthesis and verification of HISC systems using our approach was also developed.</p> / Thesis / Master of Applied Science (MASc)

This thesis focuses on issues related to implementing theoretical Discrete-Event Systems (DES) supervisors, and the concurrency and timing delay issues involved. Sampled-data (SD) supervisory control deals with timed DES (TDES) systems where the supervisors will be implemented as SD controllers. An SD controller is driven by a periodic clock and sees the system as a series of inputs and outputs. On each clock edge (tick event), it samples its inputs, changes states, and updates its outputs. In this thesis, we identify a set of existing TDES properties that will be useful to our work, but not sufficient. We extend the TDES controllability definition to a new definition, SD controllability, which captures several new properties that will be useful in dealing with concurrency issues, as well as make it easier to translate a TDES supervisor into an SD controller. We then establish a formal representation of an SD controller as a Moore Finite State Machine (FSM), and describe how to translate a TDES supervisor to a FSM, as well as necessary properties to be able to do so. We discuss how to construct a single centralized controller, as well as a set of modular controllers and show that they will produce equivalent output. Next, we capture the enablement and forcing action of a translated controller in the form of a TDES supervisory control map, and show that the closed-loop behavior of this map and the plant is the same as that of the plant and the original TDES supervisor. We also show that our method is robust with respect to nonblocking and certain variations in the actual behavior of our physical system. We also introduce a set of predicate-based algorithms to verify the SD controllability property, as well as certain other conditions that we require. We have created a software tool for verifying these conditions and provide the source code in the appendix. We have implemented these algorithms using binary decision diagrams (BDD). For illustrative purpose, we have produced a set of examples which fail the key conditions discussed in this thesis, as well as a successful application example based on a Flexible Manufacturing System. We also presented the corresponding FSM, translated from the example's supervisors. / Thesis / Master of Applied Science (MASc)

The background for this thesis work emanates from a desire to drive the production of the VBG Truck Equipment factory in Vänersborg a step further to catch up with the Industry 4.0 standards. Discrete Event Simulation (DES) is a widely adopted tool within industries to model real-world systems to improve their processes. The concern of bottlenecks is a vital problem in optimizing and improving the efficiency of production processes. Finding and investigating bottlenecks is one of the primary considerations of all manufacturing industries.The company aims to enhance its logistics by using automation in its processes. This work focusses on the Paint shop part of the VBG factory. Thus, the VBG would like to analyse the methods to reduce the bottlenecks and the waiting time in the Paint shop production process. There were no simulation models available to analyse the existing paint shop pro duction flow; therefore, a Discrete Event Simulation (DES) model of the VBG Paint shop was built to investigate the bottlenecks and improvement methods. In this thesis work, the DES model of the existing Paint shop that uses the Last in First Out (LIFO) method was investigated to find the throughput and lead time for the products. In comparison, a First in First Out (FIFO) method was used to get a balanced production flow, and its effects were studied. The company currently uses two shifts in their Paint shop, so the alternate arrangement of shifts using the same number of operators was analysed. The analysis of three shifts with the same number of operators gave more efficiency than the existing one, and three shifts with an increasing number of operators were also compared. The shift arrangements were compared with both the LIFO and FIFO methods, and FIFO provided more throughput and balanced production flow. The main bottleneck was identified in the forklift transport waiting time, so an alternate layout using a power and free conveyor system was developed. This alternate arrangement reduced the bottlenecks and produced an increased output. The alternate layout was also compared with LIFO and FIFO methods; FIFO was the most efficient one. The shift patterns were also analysed, and the three shifts with a 50 percent increase in staff can reduce the stock build-up during the start of the first shift. As of this study, it was identified that the alternate model with FIFO is the most suitable solution for the company, and in the coming years, they intend to implement that. From the experimental results obtained, DES can be chosen as a method to analyse the problems associated with limiting the capacity of production. The DES modelling can be extended to the other processes in the factory and can be used for improving logistics and inventory management. The company production flow can be further advanced by evaluating the changes that can be implemented in the factory with real-time data.

In the domain of operations design and analysis, the ability to see a 3D animation of processes that have been simulated allows for three very important things: 1) The developer of a simulation model can ascertain that there are no errors in the coding (Verification); 2) The experts, field personnel, and decision makers can discover differences between the way they understand the operation and the way the model developer understands it (Validation); and 3) A model can be communicated effectively which, coupled with verification and validation, makes it "credible" and thus used in making decisions. In the case of simulated construction operations, the existent body of knowledge and understanding did not generally permit modeled processes to be accurately visualized in 3D. The purpose of this research was to remedy this situation and find methods of describing animated 3D worlds that show how construction operations modeled using Discrete-Event Simulation were/can be carried out, using simple text statements and references to 3D CAD drawings. The fundamental question the work addressed was how to achieve accurate, dynamic, smooth, and continuous 3D animation of arbitrarily-complex simulated construction processes, based on meager pieces of operational information that can only be communicated when discrete events occur in simulation runs. The end result of this effort is VITASCOPE, an acronym for VIsualizaTion of Simulated Construction OPErations. VITASCOPE is a simple, parametric-text animation description language that is meant to be written out by end-user programmable software such as discrete-event simulation tools. Sequential instructions written in this language allow a computer to create a 3D virtual world that is accurate in time, space, and appearance; and that shows people, machines, and materials interacting as they build constructed facilities. / Ph. D.

A pavement investment and management process has a dynamic structure with cause and effect. Better investment decisions for maintenance will increase the condition of the flexible pavement and will end up with a better level of service. Therefore, better investments decisions on pavement maintenance will increase the economic growth and global competition for the area. However, improper allocation of money and resources would end up with further deteriorations of the facilities. So asset management encourages highway maintenance managers to spend their scarce budget for the maintenance that is really needed. A well-developed pavement management simulation model will allow highway maintenance managers to consider the impact of choosing one maintenance policy alternative versus another through what-if analysis and having informed decisions. Discrete event simulation (DES) is an alternative method of analysis that offers numerous benefits in pavement management. Unlike the models currently in use, a decision support model created by utilizing the DES technique would allow fractionalizing the pavement in smaller proportions and simulating the policies on these smaller segments. Thus, users would see how their decisions would affect these specific segments in the highway network over a period of time. Furthermore, DES technique would better model the multiple resource requirements and dynamic complexity of pavement maintenance processes. The purpose for this research is to create a decision support tool utilizing discrete event simulation technique where the highway maintenance managers can foresee the outcomes of their what-if scenarios on the specific segments and whole of the highway network evaluated. Thus, can be used for both project and network level decision support. The simulation can also be used as a guiding tool on when, where and why resources are needed on needs basis. This research relies on the budget allocation results from the linear optimization model (LOM). This model is a tool that creates the optimized budget allocation scheme for a network fitting to a determined scenario. Thus by integrating the LOM and the DES model, the maintenance managers can acquire an optimized budget allocation for their district and evaluate the results in both network and project selection level. Maintenance managers can obtain the best budget allocation plan without performing the repetitive trial and error approach like the previous decision support tools. There is a vast amount data in many varieties gathered as results from the simulation model. This fact alone demonstrates how powerful the discrete event simulation model is. By the nature of this simulation technique, the resources (highway segments, annual budget) can be traced throughout the simulation and this trait allows the design of the project selection level decision support system. By examining these reports, the maintenance managers can better observe how the scenarios evolve. Thus this tool helps the maintenance managers to have better decisions on the project selection level. The discrete event simulation model established in this research carries the project selection level pavement management from a position where maintenance managers should solely depend on their engineering judgment and experience to a position where maintenance managers can have more effective and justified plans since they can foresee the results of these decisions on the segments that are forming the network. This simulation engine is created with the discrete event simulation language called STROBOSCOPE. The model consists of two parts which work like a lock and key mechanism. The first part of the model is the data feeding mechanism where information from any network is loaded. The second part is the generic engine which can evaluate any road network data it is fed. The purpose of segregating these two components of the model is to allow the user to evaluate any network regardless of length, number of segments or the location. / Master of Science

With increased pressures from governmental and insurance agencies, today's physician devotes less time to patient care and more time to administration. To alleviate this problem, Biological & Popular Culture, Inc. (Biopop) proposed the building of partnerships with healthcare professionals to provide high-quality, cost-effective medical care in a physician network setting. To assist Biopop in evaluating potential operating procedures, a discrete-event simulation model has been constructed. The model is built in an object-oriented, visual manner utilizing the Visual Simulation Environment (VSE). The model examines both internal Biopop operations and external clinic operations. The research presented herein describes the design of the simulation model and details the analysis of the clinical environment. A methodology for determining appropriate staffing and physical resources in a clinical environment is presented. This methodology takes advantage of several simulation-based statistical techniques, including batch means; fractional factorial design; and simultaneous ranking, selection, and multiple comparisons. An explanation of the experimental design is provided and results of the experimentation are presented. Based upon the experimental results, conclusions are drawn and recommendations are made for an appropriate staffing and facility size for a two-physician family practice healthcare clinic. / Master of Science

The construction industry is one of the largest emitters of greenhouse gases and health-related pollutants. Monitoring and benchmarking emissions will provide practitioners with information to assess environmental impacts and improve the sustainability of construction. This research focuses on real-time measurement of emissions from non-road construction equipment and development of a monitoring-benchmarking tool for comparison of expected vs. actual emissions. First, exhaust emissions were measured using a Portable Emission Measurement System (PEMS) during the operation of 18 pieces of construction equipment at actual job sites. Second-by-second emission rates and emission factors for carbon dioxide, carbon monoxide, nitrogen oxides, and hydrocarbons were calculated for all equipment. Results were compared to those of other commonly used emission estimation models. Significant differences in emission factors associated with different activities were not observed, except for idling and hauling. Moreover, emission rates were up to 200 times lower than the values estimated using EPA and California Air Resources Board (CARB) guidelines. Second, the resulting database of emissions was used in an automated, real-time environmental assessment system. Based on videos of actual construction activities, this system enabled real-time action recognition of construction operations. From the resulting time-series of activities, emissions were estimated for each piece of equipment and differed by only 2% from those estimated by manual action recognition. Third, the actual emissions were compared to estimated ones using discrete event simulation, a computational model of construction activities. Actual emissions were 28% to 144% of those estimated by manual action recognition. Results of this research will aid practitioners in implementing strategies to measure, monitor, benchmark, and possibly reduce air pollutant emissions stemming from construction. / Master of Science

Breakthroughs in molecular and synthetic biology through de novo gene synthesis are stimulating new vaccines, pharmaceutical applications, and functionalized biomaterials, and advancing the knowledge of the function of cells. This evolution in biological processing motivates the study of a class of manufacturing systems, defined here as genetic manufacturing systems, which produce a final product with a genetic construct. Genetic manufacturing systems rely on rare molecular events for success, resulting in waste and repeated work during the deoxyribonucleic acid (DNA) fabrication process. Inspection and real time monitoring strategies are possible as mitigation tools, but it is unclear if these techniques are cost efficient and value added for the successful creation of custom genetic constructs. This work investigates resource allocation strategies for DNA fabrication environments, with an emphasis on inspection allocation. The primary similarities and differences between traditional manufacturing systems and genetic manufacturing systems are described. A serial, multi-stage inspection allocation mathematical model is formulated for a genetic manufacturing system utilizing gene synthesis. Additionally, discrete event simulation is used to evaluate inspection strategies for a fragment synthesis process and multiple fragment assembly operation. Results from the mathematical model and discrete event simulation provide two approaches to determine the appropriate inspection strategies with respect to total cost or total flow time of the genetic manufacturing system. / Ph. D.

As SystemC gains popularity as a System Level Design Language (SLDL) for System-On-Chip (SOC) designs, heterogeneous modelling and efficient simulation become increasingly important. The key in making an SLDL heterogeneous is the facility to express different Models Of Computation (MOC). Currently, all SystemC models employ a Discrete-Event simulation kernel making it difficult to express most MOCs without specific designer guidelines. This often makes it unnatural to express different MOCs in SystemC. For the simulation framework, this sometimes results in unnecessary delta cycles for models away from the Discrete-Event MOC, hindering the simulation performance of the model. Our goal is to extend SystemC's simulation framework to allow for better modelling expressiveness and efficiency for the Synchronous Data Flow (SDF) MOC. The SDF MOC follows a paradigm where the production and consumption rates of data by a function block are known a priori. These systems are common in Digital Signal Processing applications where relative sample rates are specified for every component. Knowledge of these rates enables the use of static scheduling. When compared to dynamic scheduling of SDF models, we experience a noticeable improvement in simulation efficiency. We implement an extension to the SystemC kernel that exploits such static scheduling for SDF models and propose designer style guidelines for modelers to use this extension. The modelling paradigm becomes more natural to SDF which results to better simulation efficiency. We will distribute our implementation to the SystemC community to demonstrate that SystemC can be a heterogeneous SLDL. / Master of Science

Electronic design automation (EDA) tools play a central role in bridging the productivity gap for designing complex hardware systems. However, with an increase in the size and complexity of today's design requirements, current methodologies and EDA tools are unable to effectively mitigate the further widening of productivity gap. It is estimated that testing and verification takes 2/3rd of the total development time of complex hardware systems. Functional simulation forms the main stay of testing and verification process and is the most widely used technique for testing and verification. Most of the simulation algorithms and their implementations are designed for uniprocessor systems that cannot easily leverage the parallelism in multi-core and GPU platforms. For example, logic simulation often uses levelized sequential algorithms, whereas the discrete-event simulation frameworks for Verilog, VHDL and SystemC employ concurrency in the form of multi-threading to given an illusion of the inherent parallelism present in circuits. However, the discrete-event model of computation requires a global notion of an event-queue, which makes improving its simulation performance via parallelization even more challenging. This work investigates automatic parallelization of simulation algorithms used to simulate hardware models. In particular, we focus on parallelizing the simulation of hardware designs described at the RTL using SystemC/HDL with examples to clearly describe the parallelization. Even though multi-cores and GPUs other parallelism, efficiently exploiting this parallelism with their programming models is not straightforward. To overcome this, we also focus our research on building intelligent translators to map simulation applications onto multi-cores and GPUs such that the complexity of the low-level programming models is hidden from the designers. / Master of Science