An Architectural Approach to the Design and Analysis of Cyber-Physical Systems

Download
pdf

Abstract

  • Papers
  • Conference paper
  • linear hybrid automata
  • finite state processes
  • cyber-physical systems
  • architecture description languages
Submitted by Akshay Rajhans on