On simplification of timed automata

descriptionPublicationkeyboard_double_arrow_right Article , Conference object 01 Oct 2016Publisher:IEEEJournal:2016 IEEE East-West Design & Test Symposium (EWDTS)

Authors: Maxim Gromov;

doi: 10.1109/ewdts.2016.7807726

On simplification of timed automata

- Summary
- Metrics

Abstract

In this paper we consider two properties of timed automata, which help to reduce their complexity. We understand complexity as the number of time variables associated with a given timed automaton. The first property concerns redundant time variables and the second — timed automata composition.

Related Organizations

Omsk State University
Russian Federation
National Research University of Electronic Technology
Russian Federation

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average