Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions

Maria Pittou, Stavros Tripakis

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

1 Citation (Scopus)


In multi-view modeling the system under development is described by distinct models, called views, which capture different perspectives of the system. Inevitably, possible overlaps of the views may give rise to inconsistencies. Hence, it becomes essential to check for consistency among the separate views. Existing work checks view consistency of discrete systems (transition systems or finite automata) with respect to two types of abstraction functions: (1) projections of state variables, (2) projections of an alphabet of events onto a subalphabet. In this paper, we study view consistency with respect to timing abstractions, specifically, periodic sampling. We define the multi-view consistency problem for periodic sampling abstractions, and provide an algorithm for the problem.
Original languageEnglish
Title of host publicationFormal Aspects of Component Software
Subtitle of host publication13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
ISBN (Electronic)978-3-319-57666-4
Publication statusPublished - 2017
MoE publication typeA4 Article in a conference publication
EventInternational Workshop on Formal Aspects of Component Software - Besançon, France
Duration: 19 Oct 201621 Oct 2016
Conference number: 13

Publication series

NameLecture Notes in Computer Science
ISSN (Electronic)1611-3349


WorkshopInternational Workshop on Formal Aspects of Component Software
Abbreviated titleFACS


Dive into the research topics of 'Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions'. Together they form a unique fingerprint.

Cite this