Generalized Synchronization Trees

Download

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.

  • bisimulation
  • Composition
  • cyber-physical systems
  • process algebra
  • University of Maryland
  • Concurrency and Timing
  • Time Synchronization
  • Modeling
  • Real-Time Coordination
  • Simulation
  • Foundations
  • National CPS PI Meeting 2014
  • 2014
  • Abstract
  • Poster
  • Academia
  • CPSPI MTG 2014 Posters, Videos and Abstracts
Submitted by Rance Cleaveland on