43 results on '"Rooda, J.E."'
Search Results
2. Structured Synthesis of Fault-Tolerant Supervisory Controllers
3. Simultaneous analysis and design based optimization for paper path and timing design of a high-volume printer
4. Control of supply networks by robust optimal control and using observers
5. Syntax and semantics of the compositional interchange format for hybrid systems
6. Improving evolvability of a patient communication control system using state-based supervisory control synthesis
7. A process algebra based simulation model of a miniload-workstation order picking system
8. On Optimal Switching Interactive Decentralized Control of Networked Manufacturing Systems
9. Estimating and quantifying the impact of using models for integration and testing
10. Designs of optimal switching feedback decentralized control policies for re-entrant queueing networks: A case study
11. Coordination of Resources using Generalized State-Based Requirements
12. Application of Supervisory Control Theory to Theme Park Vehicles
13. Sampled-data control of hybrid systems with discrete inputs and outputs
14. New Concepts in the Abstract Format of the Compositional Interchange Format
15. Performance measurement and lumped parameter modeling of single server flow lines subject to blocking: An effective process time approach
16. Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi
17. Concrete syntax and semantics of the compositional interchange format for hybrid systems
18. An anti-windup based approach to the control of manufacturing systems
19. A New Perspective on Anti-Windup Design based on Experimental Results
20. Model-based system analysis using Chi and Uppaal: An industrial case study
21. Relating Hybrid Chi to Other Formalisms
22. A CRITERION FOR NONEXISTENCE OF LIMIT CYCLES FOR DIFFERENTIAL INCLUSIONS
23. PERFORMANCE ANALYSIS OF HARMONICALLY FORCED NONLINEAR SYSTEMS
24. A Model-based Integration and Testing Method to Reduce System Development Effort
25. Syntax and consistent equation semantics of hybrid Chi
26. LUMPED PARAMETER MODELING OF THE LITHO CELL
27. CONVERGENT DESIGN OF SWITCHED LINEAR SYSTEMS
28. SIMULATION AND VERIFICATION OF HYBRID SYSTEMS USING CHI
29. Analyzing a χ model of a turntable system using Spin, CADP and Uppaal
30. A Hybrid Language for Modeling, Simulation and Verification
31. MODELLING AND CONTROL OF PROCESS INDUSTRY BATCH PRODUCTION SYSTEMS
32. Chaos in discrete production systems?
33. Languages and applications in hybrid modelling and simulation: Positioning of Chi
34. Languages and Applications in Hybrid Modelling: Positioning of CHI
35. Integrating continuous-time and discrete-event concepts in modelling and simulation of manufacturing machines
36. Compare the Fuzzy Aggregated Dispatching Rules with the Classical Ones for Job-shop Scheduling
37. Design of Discrete Controllers for Continuous Systems Using Hybrid Chi
38. Heterarchical Control Systems for Production Cells - A Case Study
39. A New Mechanism for Exception Handling in Concurrent Control Systems
40. Neural networks for job-shop scheduling
41. Neural Nets for Job-shop Scheduling, will they do the Job?
42. Developing Industrial Systems According to the Process Interaction Approach
43. Analysis and simulation of a distribution system for flowers
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.