<--- Back to Details
First PageDocument Content
Technology / Electronics / Sensor node / Node / Distributed computing / Network topology / Control theory / Static single assignment form / Computer networking / Computing / Cyber-physical system
Date: 2006-09-18 15:48:14
Technology
Electronics
Sensor node
Node
Distributed computing
Network topology
Control theory
Static single assignment form
Computer networking
Computing
Cyber-physical system

Add to Reading List

Source URL: varma.ece.cmu.edu

Download Document from Source Website

File Size: 38,38 KB

Share Document on Facebook

Similar Documents

Systems engineering / Digital electronics / Formal methods / Systems science / Electronic engineering / Logic simulation / Simulation / Verification / SIGNAL / Scientific modelling / Software verification and validation

    ADVANCE     ADVANCED  DESIGN  AND  VERIFICATION  ENVIRONMENT  FOR  CYBER-­‐PHYSICAL  SYSTEM  

DocID: 1xV6T - View Document

Constructible universe / Mathematical logic / Mathematics / Set theory / Operator theory / Partial differential equations / Proof theory / Ordinal numbers / Moschovakis coding lemma / Symbol

VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models Brandon Bohrer Yong Kiam Tan

DocID: 1xUj2 - View Document

Chapter 6 Publishable summary The main objective of MANTIS is to develop a cyber physical system based proactive maintenance service platform architecture enabling collaborative maintenance ecosystems.

DocID: 1v1RR - View Document

IEEE TCCPS Mid-Career Award The IEEE TCCPS Mid-Career Award recognizes a mid-career researcher from either academia or industry who has demonstrated outstanding contributions to the field of cyber-physical system (CPS) i

DocID: 1uH31 - View Document