scientific article; zbMATH DE number 795181

zbMATH Open0828.93002MaRDI QIDQ4845331FDOQ4845331

Authors: Jennifer McManis, Pravin Varaiya 

Publication date: 10 January 1996

Title of this publication is not available (Why is that?)

Recommendations

• A theory of timed automata
• scientific article; zbMATH DE number 177824
• scientific article; zbMATH DE number 1507209
• scientific article; zbMATH DE number 2102690
• scientific article; zbMATH DE number 6300098

zbMATH Keywords

schedulingtimed automatafinite state automatonverification problemslanguage containmentlanguage emptinessrate automaton

Mathematics Subject Classification ID

General systems (93A10) Model systems in control theory (93C99)

Cited In (4)

• Modeling and analysis of real-time systems with mutex components
• Coverability problem of asynchronous multi-process timed automata
• On a class of timer hybrid systems reducible to finite state automata
• Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4845331)