Configurable verification of timed automata with discrete variables
Sign Up to like & getrecommendations! 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 & getrecommendations! 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 & getrecommendations! 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 & getrecommendations! 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 & getrecommendations! 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
Model Predictive Control of Priced Timed Automata Encoded With First-Order Logic
Sign Up to like & getrecommendations! 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 & getrecommendations! 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