Real-Time Control With Parametric Timed Reachability Games

IFAC Proceedings Volumes
doi 10.3182/20121003-3-mx-4033.00052
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Stochastic Real-Time Games With Qualitative Timed Automata Objectives

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Toward Parametric Timed Interfaces for Real-Time Components

Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
2014English

O-Minimal Hybrid Reachability Games

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2010English

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

2012English

Compiling Real-Time Scenarios Into a Timed Automaton

English

A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

A Timed Failure Equivalence Preserving Abstraction for Parametric Time-Interval Automata

International Journal of Foundations of Computer Science
Computer Science
2006English

Additional Winning Strategies in Reachability Games*†

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2018English

Robust Reachability in Timed Automata: A Game-Based Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy