Automatic synthesis of a subclass of schedulers in timed systems.
type: Item
instance of: scholarly article
title: Automatic synthesis of a subclass of schedulers in timed systems.
zbMATH Open document ID: 1038.68009
DOI: 10.1016/S0304-3975(02)00813-7
author: Padmanabhan Krishnan
published in: Theoretical Computer Science
publication date: 2003-05-25T00:00:00Z
Mathematics Subject Classification ID: 68M20
zbMATH DE Number: 1915467
zbMATH Keywords: Timed automata
zbMATH Keywords: Trajectories
zbMATH Keywords: Schedulers
zbMATH Keywords: Synthesis
MaRDI profile type: Publication
cites work: A theory of timed automata
cites work: Q2766638
cites work: Supervisory control of timed discrete-event systems
cites work: Q4343832
cites work: Real-time supervisory control of a processor for non-preemptive execution of periodic tasks
cites work: On the synthesis of discrete controllers for timed systems
cites work: Shuffle on trajectories: Syntactic constraints
cites work: Q4208561
cites work: Control of Infinite Behavior of Finite Automata
cites work: Supervision of Infinite Behavior of Discrete-Event Systems
description: scientific article; zbMATH DE number 1915467