Back to Results
First PageMeta Content



1 Towards Formal Specification Visualization for Testing and Monitoring of Cyber-Physical Systems Bardh Hoxha, Hoang Bach, Houssam Abbas, Adel Dokhanchi,
Add to Reading List

Document Date: 2014-10-27 04:21:44

Open Document

File Size: 2,33 MB

Share Result on Facebook

Company

Toyota / Lab 3 Cyber-Physical Systems Cyber-Physical Systems / CPS Lab Cyber-Physical Systems / Stochastic Systems / /

/

IndustryTerm

computing / hybrid systems / reachability algorithms / physical systems / real-time properties / communication systems / verification tool / /

Organization

CPS Lab / Time CPS Lab / Algorithm Robustness MTL Specification CPS Lab / Conformance Testing CPS Lab / /

Person

Adel Dokhanchi / Yoshihiro Kobayashi / Georgios Fainekos / Ken Butts / Hoang Bach / /

Technology

reachability algorithms / formula Algorithm / /

SocialTag