Optimization of timed scenarios

DOI10.1007/978-3-030-63882-5_8MaRDI QIDQ2038030zbMATH OpenOpenAlexFDO

Authors Neda Saeedloei, Feliks Kluźniak

Publication date 8 July 2021

Full work available at URL https://doi.org/10.1007/978-3-030-63882-5_8

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Timed scenarios: consistency, equivalence and optimization
• Synthesizing Clock-Efficient Timed Automata
• scientific article; zbMATH DE number 1794360
• Optimal paths in weighted timed automata
• Hybrid Systems: Computation and Control

Cited in

(6)

• Minimization of the number of clocks for timed scenarios
• scientific article; zbMATH DE number 5631006 (Why is no real title available?)
• Optimization analysis of the three‐level time schemes
• Timed scenarios: consistency, equivalence and optimization
• Operations on timed scenarios
• On the existence of unions of timed scenarios

This page was built for publication: Optimization of timed scenarios

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