Skip to main content
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.

Publications

Search Publications by

Edward Griffor (Fed)

Search Title, Abstract, Conference, Citation, Keyword or Author
Displaying 1 - 20 of 20

A Framework for the Composition of IoT and CPS Capabilities

September 9, 2021
Author(s)
Khalid Halba, Edward Griffor, ANTON DAHBURA, Ahmed LBATH
By 2030, over half-trillion devices will be connected to the internet. With so many devices with a wide range of capabilities, there is a need for a framework for innovation and reuse of IoT and CPS capabilities. Such framework should facilitate

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

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

Author(s)
Edward R. 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