U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Search Publications by: Dr. Edward Griffor (Fed)

Search Title, Abstract, Conference, Citation, Keyword or Author
Displaying 26 - 37 of 37

TMA: An Efficient Timestamp-Based Monitoring Approach to Test Timing Constraints of Cyber-Physical Systems

June 29, 2018
Author(s)
Mohammadreza Mehrabian, Mohammad Khayatian, Ahmed Mousa, Aviral Shrivastava, Patricia Derler, Ya-Shian Li-Baboud, Dhananjay Anand, Edward Griffor, Hugo Andrade, John Eidson
Formal specifications on temporal behavior of Cyber-Physical Systems (CPS) is essential for verification of performance and safety. Existing solutions for verifying the satisfaction of temporal constraints on a CPS are compute and resource intensive since

Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems

June 14, 2018
Author(s)
Edward R. Griffor, David A. Wollman, Martin J. Burns, Claire Vishik, Michael Huth, Marcello Balducinni
It has been challenging for the technical and regulatory com-munities to formulate requirements for trustworthiness of thecyber- physical systems (CPS) due to the complexity of theissues associated with their design, deployment, and opera-tions. The US

Universal CPS Environment for Federation (UCEF)

January 16, 2018
Author(s)
Martin J. Burns, Thomas P. Roth, Edward R. Griffor, Paul A. Boynton, Janos Sztipanovits, Himanshu Neema
NIST, in collaboration with Vanderbilt University, has assembled an open-source tool set for designing and implementing federated, collaborative and interactive experiments with cyber- physical systems (CPS). These capabilities are used in our research on

Framework for Cyber-Physical Systems: Volume 3, Timing Annex

September 28, 2017
Author(s)
David A. Wollman, Marc A. Weiss, YaShian Li-Baboud, Edward R. Griffor, Martin J. Burns
Cyber-Physical Systems (CPS) comprise interacting digital, analog, physical, and human components engineered for function through integrated physics and logic. NIST established the CPS Public Working Group (CPS PWG) to bring together a broad range of CPS

Timestamp Temporal Logic (TTL) for Time Testing of Cyber-Physical Systems

September 27, 2017
Author(s)
Mohammadreza Mehrabian, Mohammad Khayatian, Aviral Shrivastava, John Eidson, Patricia Derler, Hugo A. Andrade, Ya-Shian Li-Baboud, Edward Griffor, Marc A. Weiss, Kevin Stanton
In order to test the performance and verify the correctness of Cyber-Physical Systems (CPS), the timing constraints on the system behavior must be met. Signal Temporal Logic (STL) can efficiently and succinctly capture the timing constraints on a given

Framework for Cyber-Physical Systems: Volume 1, Overview

June 26, 2017
Author(s)
Edward R. Griffor, Christopher Greer, David A. Wollman, Martin J. Burns
Cyber-Physical Systems (CPS) comprise interacting digital, analog, physical, and human components engineered for function through integrated physics and logic. CPS and related systems (including the Internet of Things, Industrial Internet, and more) are

Framework for Cyber-Physical Systems: Volume 2, Working Group Reports

June 26, 2017
Author(s)
Edward R. Griffor, Christopher Greer, David A. Wollman, Martin J. Burns
Cyber-Physical Systems (CPS) comprise interacting digital, analog, physical, and human components engineered for function through integrated physics and logic. CPS and related systems (including the Internet of Things, Industrial Internet, and more) are

A Testbed to Verify Timing Behavior of Cyber-Physical Systems

June 18, 2017
Author(s)
Aviral Shrivastava, Mohammad Khayatian, Mohammadreza Mehrabian, Hugo A. Andrade, Patricia Derler, Ya-Shian Li-Baboud, Edward Griffor, Marc A. Weiss, John Eidson, Kevin Stanton
Time is a foundational aspect of Cyber-Physical Systems (CPS). Correct time and timing of system events is critical to optimized responsiveness to the environment, in terms of timeliness, accuracy and precision in the knowledge, measurement, prediction

The Algebra of Systems and System Interactions with an application to Smart Grid

October 14, 2016
Author(s)
Charif Mahmoudi, Hasnae Bilil, Edward R. Griffor
Systems are integrations of devices or component elements and even other systems. The notion of a system comprehends engineered and biological or mechanical or physical systems. Examples include information and dynamical systems as well as integrations of

Evolving Security

October 2, 2016
Author(s)
Edward Griffor
The topic of system security, and in particular that of cybersecurity differs in a critical way from the other concerns we have about systems. Though concerns like safety and resil- ience do have challenges associated with design, realization, and

Validation and Verification of Automated Road Vehicles

April 2, 2016
Author(s)
Edward Griffor, Agaram Venkatesh, Frank Barickman, Felix Felix Fahrenkrog
Ubiquitous, commercial deployment of automated road vehicles is desirable in order to realize their potential benefits such as crash avoidance, congestion mitigation, reduced environment impact, reduced driver stress, and increased driver productivity. A