Generalized Synchronization Trees

Download
pdf

Abstract:

The PIs are developing their novel modeling paradigm, Generalized Synchronization Trees (GSTs), into a rich framework for both describing cyber-physical systems (CPSs) and studying their behavior under interconnection. GSTs were inspired by Milner’s use of Synchronization Trees (STs) to model interconnected computing processes, but GSTs generalize the mathematical structure of their forebears in such a way as to encompass many classes of CPSs.

  • bisimulaton
  • Composition
  • semantic equivalences
  • Semantic models
  • Temporal Logic
  • University of Maryland at College Park
  • Models of Computation
  • Concurrency and Timing
  • Modeling
  • Real-Time Coordination
  • Simulation
  • Foundations
  • National CPS PI Meeting 2015
  • 2015
  • Abstract
  • Poster
  • Academia
  • 2015 CPS PI MTG Videos, Posters, and Abstracts
Submitted by Rance Cleaveland on