Automata based interfaces for control and scheduling

Gera Weiss, Rajeev Alur

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

45 Scopus citations


We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that this approach is more flexible than the classical real-time scheduling framework based on periodic tasks, and allows composition of interfaces by language-theoretic operations. We show that finite automata over infinite words offer analyzable representation and can capture many interesting interface specifications such as exponential stability of switched linear systems.

Original languageEnglish
Title of host publicationHybrid Systems
Subtitle of host publicationComputation and Control - 10th International Conference, HSCC 2007, Proceedings
PublisherSpringer Verlag
Number of pages13
ISBN (Print)9783540714927
StatePublished - 1 Jan 2007
Externally publishedYes
Event10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007 - Pisa, Italy
Duration: 3 Apr 20075 Apr 2007

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4416 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science (all)


Dive into the research topics of 'Automata based interfaces for control and scheduling'. Together they form a unique fingerprint.

Cite this