On a control algorithm for time-varying processor availability
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1507210 (Why is no real title available?)
- scientific article; zbMATH DE number 1444339 (Why is no real title available?)
- Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
- Discrete-time control for rectangular hybrid automata
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Marked directed graphs
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
- Unfoldings: A partial-order approach to model checking.
- What's decidable about hybrid automata?
Cited in
(3)
This page was built for publication: On a control algorithm for time-varying processor availability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2985869)