336 results on '"discrete event system"'
Search Results
2. A Fault Diagnosis Method of Discrete Event System Based on Binary Decision Diagram
3. Plant Layout Selection Procedure Based on Discrete Event Simulation Software
4. Fuzzy Discrete Event System (FDES): A Survey
5. Modelling Service Processes as Discrete Event Systems with ARTI-Type Holonic Control Architecture
6. Event-Based Cooperative Control Framework for Robot Teams
7. Methodology – A Review of Intelligent Manufacturing: Scope, Strategy and Simulation
8. The Reliability of Critical Systems in Railway Transport Based on the Track Rail Circuit
9. Critical States Distance Filter Based Approach for Detection and Blockage of Cyberattacks in Industrial Control Systems
10. Petri Nets in Discrete-Event and Hybrid Systems Modelling, Analysing, Performance Evaluation and Control
11. Predictability in Probabilistic Discrete Event Systems
12. Complexity Made Simple (at a Small Price)
13. Two Model Checking Approaches to Branch-and-Bound Optimization of a Flow Production System
14. Modeling Discrete Event Systems Using Petri Nets
15. Rail Train Door System Hidden Danger Identification Based on Extended Time and Probability Petri Net
16. Abstractions for Design-by-Humans of Heterogeneous Behaviors
17. Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing
18. Fault Ascription in Concurrent Systems
19. Supervisory Control
20. Service-Oriented Model Engineering and Simulation for System of Systems Engineering
21. A Model for Intelligent Treatment of Floodwaters
22. A Predictability Algorithm for Distributed Discrete Event Systems
23. Generalized ATM Fraud Detection
24. Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events
25. Emerging Scenarios Avoidance Policy for Railroad Level Crossing Traffic Control Systems
26. Modeling and Design of One Real Eight-Phase Traffic Light Control System Using Pure Petri Nets
27. Enhanced Event Modeling for Human-System Interactions Using IOPT Petri Nets
28. Stochastic Models Including PH Distributions and MAPs
29. Automata for Analysing Service Contracts
30. Cellular Modeling with Cell-DEVS: A Discrete-Event Cellular Automata Formalism
31. Application of Supervisory Control Theory to Swarms of e-puck and Kilobot Robots
32. Basics of Generalized Nets
33. The Simulation of the Assembling Production Process
34. Discrete-Event Systems in a Dioid Framework: Control Theory
35. Kiefer-Wolfowitz Algorithm
36. Introduction to Fluid Petri Nets
37. Diagnosis with Petri Net Unfoldings
38. The On-Line Diagnosis of Time Petri Nets
39. Petri Nets with Time
40. Diagnosis of Petri Nets
41. Introduction to Petri Nets
42. Diagnosis and Automata
43. Predictability of Event Occurrences in Timed Systems
44. System Level Formal Verification via Model Checking Driven Simulation
45. Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets
46. In Memoriam: Carl Adam Petri
47. As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty
48. A Service Flow Simulation Method Using Multi-aspect Scene Transition Nets (STNs) Modeling
49. Co-modeling Methodology for Semiconductor Manufacturing Using DEVS Simulation
50. Simulation-Based SAM (Surface-to-Air Missile) Analysis in OpenSIM (Open Simulation Engine for Interoperable Models)
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.