75 results on '"Supervisory control"'
Search Results
2. Reducing the computational effort of symbolic supervisor synthesis
3. Do what you know: coupling knowledge with action in discrete-event systems
4. Supervisory control to maximize mean time to failure in discrete event systems
5. Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies
6. Using Subobservers to Synthesize Opacity-Enforcing Supervisors
7. Epistemic interpretations of decentralized discrete-event system problems
8. Hierarchical planning in a supervisory control context with compositional abstraction
9. Discrete-event systems subject to unknown sensor attacks
10. Optimal Modular Control of Discrete Event Systems with Distinguishers and Approximations
11. On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary petri net
12. Nonblocking and deterministic decentralized control for networked discrete event systems under communication delays
13. Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
14. Synthesis of covert actuator attackers for free
15. Refinements of behavioural abstractions for the supervisory control of hybrid systems
16. Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction
17. On the relation between reactive synthesis and supervisory control of non-terminating processes
18. SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time
19. Characterizations and effective computation of supremal relatively observable sublanguages
20. Current-state opacity enforcement in discrete event systems under incomparable observations
21. Falsification of combined invariance and reachability specifications in hybrid control systems
22. Supervisory control and reactive synthesis: a comparative introduction
23. Supervisory control for collision avoidance in vehicular networks using discrete event abstractions
24. On-line compositional controller synthesis for AGV
25. Enforcing opacity of regular predicates on modal transition systems
26. Computation of supervisors for reconfigurable machine tools
27. New results on supervisor localization, with case studies
28. Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks
29. Coordination control of discrete-event systems revisited
30. Sampled-data supervisory control
31. Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications
32. Methods for the estimation of the size of lookahead tree state-space
33. Application of supervisory control theory to theme park vehicles
34. A pseudometric in supervisory control of probabilistic discrete event systems
35. Conceptual Design of Discrete-Event Systems Using Templates
36. SAT-Solving in Practice, with a Tutorial Example from Supervisory Control
37. Supervisory Control of (max,+) Automata: A Behavioral Approach
38. Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement
39. Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems
40. Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
41. Concurrent Secrets
42. Active Acquisition of Information for Diagnosis and Supervisory Control of Discrete Event Systems
43. Safe Supervisory Control Under Observability Failure
44. Solvability of Centralized Supervisory Control Under Partial Observation
45. Supervision Based on Place Invariants: A Survey
46. A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation
47. Approximating the Minimal Sensor Selection for Supervisory Control
48. Multitasking Supervisory Control of Discrete-Event Systems
49. A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems
50. Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.