Advertisement

Largest Finite Satisfying Region

  • Calin BeltaEmail author
  • Boyan Yordanov
  • Ebru Aydin Gol
Chapter
Part of the Studies in Systems, Decision and Control book series (SSDC, volume 89)

Abstract

In this chapter, we focus on the problem of analyzing a finite transition system with the goal of partitioning its state space into satisfying and non-satisfying subsets of states. Since the focus is on analysis, we consider transition systems with no inputs.

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Mechanical Engineering, Electrical and Computer Engineering, and Systems EngineeringBoston UniversityBostonUSA
  2. 2.Biological Computation GroupMicrosoft Research LtdCambridgeUK
  3. 3.Department of Computer EngineeringMiddle East Technical UniversityCankayaTurkey

Personalised recommendations