scientific article; zbMATH DE number 1794360

zbMath0991.93076MaRDI QIDQ4552456

Salvatore La Torre, George J. Pappas, Rajeev Alur

Publication date: 3 September 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2034/20340049

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Formal languages and automata (68Q45) Combinatorial optimization (90C27) Discrete event control/observation systems (93C65)

Related Items (49)

Scheduling with timed automata ⋮ Statistical Model Checking for Networks of Priced Timed Automata ⋮ Model Checking Real-Time Systems ⋮ Verification of Hybrid Systems ⋮ Improved undecidability results on weighted timed automata ⋮ Weighted Register Automata and Weighted Logic on Data Words ⋮ Concavely-Priced Probabilistic Timed Automata ⋮ On using priced timed automata to achieve optimal scheduling ⋮ Performance analysis of probabilistic timed automata using digital clocks ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ A survey of timed automata for the development of real-time systems ⋮ Concurrent weighted logic ⋮ Controller synthesis for dynamic hierarchical real-time plants using timed automata ⋮ Cost-related interface for software product lines ⋮ Monte Carlo tree search for priced timed automata ⋮ Unnamed Item ⋮ A Kleene-Schützenberger theorem for weighted timed automata ⋮ Weighted o-minimal hybrid systems ⋮ Alternation-free weighted mu-calculus: decidability and completeness ⋮ Parametric Verification of Weighted Systems ⋮ Specifications for decidable hybrid games ⋮ Model-checking precision agriculture logistics: the case of the differential harvest ⋮ Infinite Runs in Weighted Timed Automata with Energy Constraints ⋮ Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets ⋮ Emptiness and Universality Problems in Timed Automata with Positive Frequency ⋮ Optimal reachability for multi-priced timed automata ⋮ Backward symbolic optimal reachability in weighted timed automata ⋮ Optimal and robust controller synthesis using energy timed automata with uncertainty ⋮ Complete proof systems for weighted modal logic ⋮ Model checking weighted integer reset timed automata ⋮ Discount-Optimal Infinite Runs in Priced Timed Automata ⋮ On model-checking timed automata with stopwatch observers ⋮ Formal language properties of hybrid systems with strong resets ⋮ Optimal and robust controller synthesis. Using energy timed automata with uncertainty ⋮ Best-by-simulations: a framework for comparing efficiency of reconfigurable architectures on workloads with deadlines ⋮ Weighted register automata and weighted logic on data words ⋮ On decidability of recursive weighted logics ⋮ Minimal Cost Reachability/Coverability in Priced Timed Petri Nets ⋮ A Kleene-Schützenberger Theorem for Weighted Timed Automata ⋮ STORMED Hybrid Games ⋮ Optimal run problem for weighted register automata ⋮ Unnamed Item ⋮ Costs and rewards in priced timed automata ⋮ Model-checking Timed Temporal Logics ⋮ How to Tackle Integer Weighted Automata Positivity ⋮ Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata ⋮ Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata ⋮ On the Supports of Recognizable Timed Series ⋮ Zone-based verification of timed automata: extrapolations, simulations and what next?

This page was built for publication: