Sökning: "petri net"
Visar resultat 21 - 25 av 26 avhandlingar innehållade orden petri net.
21. Toward Dependable Multiple Path Planning for Autonomous Robots with Obstacle Avoidance and Congestion Control
Sammanfattning : Over decades, automatic robots that are pre-programmed to perform repetitive tasks in industrial production has been reaching the cutting edge of technology. There is emerging the next development with autonomous control, where a robot is able to have some levels of its own decision, i.e. self-governing, without direct controls from humans. LÄS MER
22. Discrete Event Process Modeling of Manufacturing Systems Using Sensor Graphs
Sammanfattning : The design of control programs for manufacturing systemsis becoming more and more complex as the demands for flexibility,efficiency and reconfigurability increase, due tochanging consumer demands and fierce competition.There are methods stemming from academia that can assist the control programmersin facing these challenges. LÄS MER
23. System Design for DSP Applications with the MASIC Methodology
Sammanfattning : The difficulties of system design are persistentlyincreasing due to the integration of more functionality on asystem, time-to-market pressure, productivity gap, andperformance requirements. To address the system designproblems, design methodologies build system models at higherabstraction level. LÄS MER
24. Sustainable Design and Control of Automated Material Handling Systems
Sammanfattning : An automated material handling system is a collection of electro mechanical components, electronics, and computer-based devices that act together to maintain flow of parts and materials in a modern production environment. Material flow is a significant factor in the design of manufacturing plants. LÄS MER
25. Control Synthesis for Batch Processes
Sammanfattning : Batch applications form an important application class within the field of process industries. In this thesis we propose multiple models, frameworks and design concepts in order to apply formal methods to the control synthesis in batch control. The thes is can be divided into two main parts. LÄS MER