Multi-View Consistency for Infinitary Regular Languages

Maria Pittou, Stavros Tripakis

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

Abstract

Multi-view modeling is a system design methodology where different facets of a system are modeled each with a separate model, called view. The problem of view consistency then arises, namely, does there exist a system which could generate a given set of views? In previous work this problem has been studied for the case of discrete systems such as finite automata over finite words, on one hand, and finite automata over infinite words, on the other hand. In this work we study the problem for the case of mixed automata, which accept both finite and infinite words, and the corresponding infinitary regular languages. This model is particularly useful in the multi-view modeling setting, where views are obtained as projections of the system, and where these projections may turn an infinite behavior into a finite one.
Original languageEnglish
Title of host publicationInternational Conference on Embedded Computer Systems: Architectures, Modeling and Simulation
Subtitle of host publication2016 IEEE International Conference (IC-SAMOS 2016)
PublisherIEEE
Pages148-155
ISBN (Electronic)978-1-5090-3076-7
DOIs
Publication statusPublished - 2016
MoE publication typeA4 Article in a conference publication
EventInternational Conference on Embedded Computer Systems: Architectures, Modeling and Simulation - Samos, Greece
Duration: 20 Jul 201523 Jul 2015
Conference number: 15

Conference

ConferenceInternational Conference on Embedded Computer Systems: Architectures, Modeling and Simulation
Abbreviated titleSAMOS
CountryGreece
CitySamos
Period20/07/201523/07/2015

Keywords

  • Automata
  • System analysis and design
  • Complex systems
  • Stakeholders
  • Semantics
  • Analytical models
  • Complexity theory

Fingerprint

Dive into the research topics of 'Multi-View Consistency for Infinitary Regular Languages'. Together they form a unique fingerprint.

Cite this