LAUSR

About LAUSR
Donate
Contact Us

Follow us:

You are not signed in:

Sign Up!


   Articles with "timed automata" as a keyword



Photo from wikipedia

Configurable verification of timed automata with discrete variables

Sign Up to like & get
recommendations! Published in 2020 at "Acta Informatica"

DOI: 10.1007/s00236-020-00393-4

Abstract: Algorithms and protocols with time dependent behavior are often specified formally using timed automata. For practical real-time systems, besides real-valued clock variables, these specifications typically contain discrete data variables with nontrivial data flow. In this… read more here.

Keywords: contain discrete; timed automata; refinement strategies; framework ... See more keywords

Bounded determinization of timed automata with silent transitions

Sign Up to like & get
recommendations! Published in 2017 at "Real-Time Systems"

DOI: 10.1007/s11241-017-9271-x

Abstract: Deterministic timed automata are strictly less expressive than their non-deterministic counterparts, which are again less expressive than those with silent transitions. As a consequence, timed automata are in general non-determinizable. This is unfortunate since deterministic… read more here.

Keywords: timed automata; determinization timed; automata silent; bounded determinization ... See more keywords

Safe operation sequences: a generation approach based on iterative refinements and abstractions of timed automata

Sign Up to like & get
recommendations! Published in 2017 at "IFAC-PapersOnLine"

DOI: 10.1016/j.ifacol.2017.08.1335

Abstract: Abstract Operation procedure engineering for complex and critical systems aims to provide action sequences satisfying safety requirements specifications. If automatic generation of procedure seems to be interesting for this purpose, the limit of the use… read more here.

Keywords: safe operation; timed automata; generation; operation ... See more keywords

Adaptive Cruise Control with Timed Automata

Sign Up to like & get
recommendations! Published in 2020 at "IFAC-PapersOnLine"

DOI: 10.1016/j.ifacol.2020.12.2585

Abstract: Abstract An adaptive cruise control (ACC) system maintains the vehicle at the given target speed when there is no leading vehicle in the sensor range. On the other hand, in the presence of a leading… read more here.

Keywords: system; cruise control; adaptive cruise; timed automata ... See more keywords

Priced Timed Automata Models for Control of Intelligent Product Agents in Manufacturing Systems

Sign Up to like & get
recommendations! Published in 2020 at "IFAC-PapersOnLine"

DOI: 10.1016/j.ifacol.2021.04.051

Abstract: Abstract To enable product customization and incorporate customer requirements during production, there is a need to integrate more flexible control strategies into the shop floor. One type of strategy that has been proposed to address… read more here.

Keywords: agent; timed automata; priced timed; product ... See more keywords

Specification and Verification Method of Parallel Hierarchical Timed Automata by Predicate Abstraction and Refinement

Sign Up to like & get
recommendations! Published in 2025 at "IEEE Access"

DOI: 10.1109/access.2025.3572089

Abstract: Embedded systems have three major features: real-time, parallel and hierarchical. Therefore, we specified an embedded system as a hierarchically structured timed automata operating in parallel. The reduction technique of the state space for verifying embedded… read more here.

Keywords: parallel hierarchical; method; abstraction refinement; abstraction ... See more keywords

State Estimation of Timed Automata Under Partial Observation

Sign Up to like & get
recommendations! Published in 2024 at "IEEE Transactions on Automatic Control"

DOI: 10.1109/tac.2024.3492955

Abstract: In this article, we consider partially observable timed automata endowed with a single clock. A time interval is associated with each transition specifying at which clock values it may occur. In addition, a resetting condition… read more here.

Keywords: timed automaton; estimation timed; timed automata; state ... See more keywords

Model Predictive Control of Priced Timed Automata Encoded With First-Order Logic

Sign Up to like & get
recommendations! Published in 2022 at "IEEE Transactions on Control Systems Technology"

DOI: 10.1109/tcst.2021.3054800

Abstract: Priced timed automata (PTA) are discrete-event system models with temporal constraints and a cost function and are used to pose optimal scheduling and routing problems. To date, solutions to these problems have been found offline… read more here.

Keywords: priced timed; control; timed automata; predictive control ... See more keywords

Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources

Sign Up to like & get
recommendations! Published in 2017 at "IEEE Transactions on Software Engineering"

DOI: 10.1109/tse.2016.2560842

Abstract: In this paper we present a Timed Automata model for the Publish/Subscribe paradigm in the context of Web Service Compositions with distributed resources, on the basis of an algebraic language inspired by the WSRF standard… read more here.

Keywords: timed automata; distributed resources; model; verification ... See more keywords

A Finite Representation of Durational Action Timed Automata Semantics

Sign Up to like & get
recommendations! Published in 2024 at "Mathematics"

DOI: 10.3390/math12244008

Abstract: Durational action timed automata (daTAs) are state transition systems like timed automata (TAs) that capture information regarding the concurrent execution of actions and their durations using maximality-based semantics. As the underlying semantics of daTAs are… read more here.

Keywords: semantics; representation; action timed; durational action ... See more keywords