Quantitative Analysis of Real-Time Systems Using Priced Timed Automata

Communications of the ACM - United States
doi 10.1145/1995376.1995396
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Optimal Strategies in Priced Timed Game Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Real-Time Scheduling of Energy Harvesting Embedded Systems With Timed Automata

2012English

Symbolic Quantitative Robustness Analysis of Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Stochastic Real-Time Games With Qualitative Timed Automata Objectives

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

A Method for Testing Real-Time System Based on Timed Automata

Ruan Jian Xue Bao/Journal of Software
Software
2007English

Timed-Automata Abstraction of Switched Dynamical Systems Using Control Invariants

Real-Time Systems
ControlSystems EngineeringOptimizationElectronic EngineeringComputer NetworksSimulationCommunicationsComputer Science ApplicationsElectricalModeling
2017English

Model Checking of Multitasking Real-Time Applications Based on the Timed Automata Model Using One Clock

2010English

Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Online Timed Pattern Matching Using Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy