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 - 50 of 63

Decision Support for Smart Grid: Using Reasoning to Contextualize Complex Decision Making

June 20, 2019
Author(s)
Edward R. Griffor, David A. Wollman, Patrick Kamongi, Claire Vishik, Michael Huth, Marcello Balduccini
The smart grid is a complex cyber-physical system (CPS) that poses challenges related to scale, integration, interoperability, processes, governance, and human elements. The US National Institute of Standards and Technology (NIST) and its government

Cyber-Physical Systems and Internet of Things

March 7, 2019
Author(s)
Christopher Greer, Martin J. Burns, David Wollman, Edward Griffor
This NIST Special Publication describes the relationship between the phrases "cyber-physical systems" and "Internet of Things." CPS and IoT both refer to trends in integrating digital capabilities, including network connectivity, with physical devices and

Elaborating the Human Aspect of the NIST Framework for Cyber-Physical Systems

September 25, 2018
Author(s)
Edward R. Griffor, David A. Wollman, Martin J. Burns, Joe Manganelli, Ronald Boring, Stephen Gilbert, Yi-Ching Lee, Dan Nathan-Robers
The National Institute of Standards and Technology (NIST) has developed a Framework for Cyber- Physical Systems (CPS Framework) that supports system engineering analysis, design, development, operation, validation and assurance of CPS. Cyber-physical

Reasoning about Smart City

July 31, 2018
Author(s)
Edward R. Griffor, Martin J. Burns, David A. Wollman, Marcello Balducinni, Claire Vishik, Michael Huth
Smart Cities are complex environments, comprising diverse cyber-physical systems (CPS), including Internet of Things (IoT). Smart Cities pose challenges of scale, integration, interoperability, sophisticated processes, governance, human elements

Robust Safety for Autonomous Vehicles through Reconfigurable Networking

July 18, 2018
Author(s)
Khalid Halba, Charif Mahmoudi, Edward R. Griffor
Autonomous vehicles bring the promise of enhancing the consumers experience in terms of comfort and convenience and, in particular, the safety of the autonomous vehicle. Safety functions in autonomous vehicles such as Automatic Emergency Braking and Lane

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