424 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. Design of Convergent Switched Systems
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. Estimating and quantifying the impact of using models for integration and testing
9. On Optimal Switching Interactive Decentralized Control of Networked Manufacturing Systems
10. Supervisory control synthesis for large-scale systems with isomorphisms
11. Design of a Parameter-based Modeling Platform for Road Tunnel Supervisory Controllers
12. Designs of optimal switching feedback decentralized control policies for re-entrant queueing networks: A case study
13. Coordination of Resources using Generalized State-Based Requirements
14. Application of Supervisory Control Theory to Theme Park Vehicles
15. Synthesis and Implementation of Distributed Supervisory Controllers with Communication Delays
16. A configurator for supervisory controllers of roadside systems
17. Sampled-data control of hybrid systems with discrete inputs and outputs
18. New Concepts in the Abstract Format of the Compositional Interchange Format
19. Configuring Ship Locks Using A Product Platform Based On DSM Methods
20. Towards a module-based product platform for ship locks using DSM methods
21. Performance measurement and lumped parameter modeling of single server flow lines subject to blocking: An effective process time approach
22. Model-based system analysis using Chi and Uppaal: An industrial case study
23. A New Perspective on Anti-Windup Design based on Experimental Results
24. An anti-windup based approach to the control of manufacturing systems
25. Concrete syntax and semantics of the compositional interchange format for hybrid systems
26. Generating cycle time-throughput curves using effective process time based aggregate modeling
27. Model abstraction of nondeterministic finite-state automata in supervisor synthesis
28. Aggregative synthesis of distributed supervisors based on automaton abstraction
29. A nonhierarchical formulation of analytical target cascading
30. Hierarchical test sequencing for complex systems
31. Integration and test sequencing for complex systems
32. Risk-based stopping criteria for test sequencing
33. Effective process times for multi-server flowlines with finite buffers
34. Test sequencing in complex manufacturing systems
35. Design of a Tunnel Supervisory Controller using Synthesis-Based Engineering
36. Model reduction for supervisor synthesis
37. The Road Ahead for Supervisor Synthesis
38. Relating Hybrid Chi to Other Formalisms
39. Performance of workstation with offline and integrated metrology
40. Coordination specification in distributed optimal design of multilevel systems using the χ language
41. A lumped parameter model for product flow times in manufacturing lines
42. Quantifying variability of batching equipment using effective process times
43. Framework for sequential approximate optimization
44. Fab performance
45. Data Logging and Reconstruction of Discrete-event System Behavior
46. Equipment effectiveness: OEE revisited
47. Analysis of an Industrial System
48. A Model-based Integration and Testing Method to Reduce System Development Effort
49. Characterization of operational time variability using effective process times
50. Simulation based optimization of stochastic systems with integer design variables by sequential multipoint linear approximation
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.