Automata Based Interfaces for Control and Scheduling
From MaRDI portal
Publication:3613004
DOI10.1007/978-3-540-71493-4_46zbMath1221.68150OpenAlexW1500726385MaRDI QIDQ3613004
Publication date: 11 March 2009
Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://repository.upenn.edu/cgi/viewcontent.cgi?article=1543&context=cis_papers
Nonlinear programming (90C30) Formal languages and automata (68Q45) Deterministic scheduling theory in operations research (90B35) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)
Related Items (6)
Stability of shuffled switched linear systems: A joint spectral radius approach ⋮ Arbitrated Network Control Systems: A Co-Design of Control and Platform for Cyber-Physical Systems ⋮ Contracts for Schedulability Analysis ⋮ ℋ2 and ℋ∞ analysis and state feedback control design for discrete-time constrained switched linear systems ⋮ Stabilization and control Lyapunov functions for language constrained discrete-time switched linear systems ⋮ Bounded and Unbounded Safety Verification Using Bisimulation Metrics
This page was built for publication: Automata Based Interfaces for Control and Scheduling
