Controller synthesis for dynamic hierarchical real-time plants using timed automata (Q1693828): Difference between revisions

From MaRDI portal
Changed an Item
Normalize DOI.
 
(4 intermediate revisions by 4 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s10626-017-0240-2 / rank
Normal rank
 
Property / describes a project that uses
 
Property / describes a project that uses: Uppaal / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s10626-017-0240-2 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2605203018 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4439564 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4038702 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theory of timed automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4552456 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model Checking Probabilistic Timed Automata with One or Two Clocks / rank
 
Normal rank
Property / cites work
 
Property / cites work: Timed automata with urgent transitions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4552463 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Minimum-Time Reachability in Timed Games / rank
 
Normal rank
Property / cites work
 
Property / cites work: Timed I/O automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Discrete-time control for rectangular hybrid automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: CONCUR 2003 - Concurrency Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Task automata: Schedulability, decidability and undecidability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Symbolic model checking for real-time systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Theory of Timed I/O Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Robust Specification of Real Time Components / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the synthesis of discrete controllers for timed systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: A survey of timed automata for the development of real-time systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Model for Industrial Real-Time Systems / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S10626-017-0240-2 / rank
 
Normal rank

Latest revision as of 04:11, 11 December 2024

scientific article
Language Label Description Also known as
English
Controller synthesis for dynamic hierarchical real-time plants using timed automata
scientific article

    Statements

    Controller synthesis for dynamic hierarchical real-time plants using timed automata (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    31 January 2018
    0 references
    timed automata
    0 references
    controller synthesis
    0 references
    timed I/O automata
    0 references
    dynamic
    0 references
    timed process automata
    0 references
    hierarchical plants
    0 references
    compositional plants
    0 references
    reusable designs
    0 references
    state-space reduction technique
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references