On a control algorithm for time-varying processor availability

DOI10.1145/1755952.1755965zbMath1360.93455OpenAlexW2116664006MaRDI QIDQ2985869

Vijay Gupta

Publication date: 10 May 2017

Published in: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1755952.1755965

zbMATH Keywords

controlanytime algorithms

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Discrete-time control/observation systems (93C55)

Cites Work

• Unnamed Item
• Unnamed Item
• What's decidable about hybrid automata?
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Discrete-time control for rectangular hybrid automata
• Unfoldings: A partial-order approach to model checking.
• Marked directed graphs
• Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
• Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control

This page was built for publication: On a control algorithm for time-varying processor availability