Automata Based Interfaces for Control and Scheduling
From MaRDI portal
Publication:3613004
DOI10.1007/978-3-540-71493-4_46zbMath1221.68150MaRDI 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
90C30: Nonlinear programming
68Q45: Formal languages and automata
90B35: Deterministic scheduling theory in operations research
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems
Related Items
ℋ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, 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, Bounded and Unbounded Safety Verification Using Bisimulation Metrics