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.

Search Publications by: Dr. Edward Griffor (Fed)

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

Facilitating Stakeholder Communication around AI-Enabled Systems and Business Processes

November 21, 2023
Author(s)
Edward Griffor, Matthew Bundas, Chasity Nadeau, Jeannine Shantz, Thanh Nguyen, Marcello Balduccini, Tran Son
Artificial Intelligence (AI) is often critical to the success of modern business processes. Leveraging it, however, is non-trivial. A major hurdle is communication: discussing system requirements among stakeholders with different backgrounds and goals

IoT Capabilities Composition and Decomposition: A Systematic Review

March 22, 2023
Author(s)
Edward Griffor, Khalid Halba, ahmed lbath, Anton Dahbura
Internet of Things (IoT) capabilities are features or services produced by IoT devices. IoT capabilities composition brings existing capabilities together to create a novel service with added value. IoT Capabilities decomposition works the other way around

Formalizing and Reasoning about Supply Chain Contracts between Agents

January 8, 2023
Author(s)
Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Son, Edward Griffor
Inspired by the recent problems in supply chains, we propose an approach to declarative modeling of contracts between agents that will eventually support reasoning about resilience of and about ways to improve supply chains. Specifically, we present a high

Smart Cities and Communities: A Key Performance Indicators Framework

June 14, 2022
Author(s)
David A. Wollman, Edward Griffor, Chris Greer, Michael Dunaway, Martin Serrano, Martin Burns, Sokwoo Rhee
This publication presents research findings and scientific work that advance the development and progression of smart city and community measurement methodology. The term 'smart,' as used in the phrase 'smart cities,' is defined here as the efficient use

Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework

March 3, 2022
Author(s)
Thanh Nguyen, Matthew Bundas, Tran Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward Griffor
This paper introduces a formal definition of a Cyber-Physical System (CPS) in the spirit of the CPS Framework proposed by the National Institute of Standards and Technology (NIST). It shows that using this definition, various problems related to concerns

Smart Cities and Communities: A Key Performance Indicators Framework

February 24, 2022
Author(s)
Martin Serrano, Edward Griffor, David A. Wollman, Michael Dunaway, Martin Burns, Sokwoo Rhee, Chris Greer
This publication presents research findings and scientific work that advance the development and progression of smart city and community measurement methodology. The term 'smart,' as used in the phrase 'smart cities,' is defined here as the efficient use

A Methodology for Modeling Interoperability for Smart Sensors in Smart Grids

January 1, 2022
Author(s)
Edward Griffor, Kang B. Lee, Gerald J. FitzPatrick, Eugene Song
Smart sensors in smart grids provide real-time data and status of bidirectional flows of energy for monitoring, protection, and control of grid operations to improve reliability and resilience. Smart sensor interoperability is major challenges for smart

A Methodology for Modeling Interoperability for Smart Sensors in Smart Grids

January 1, 2022
Author(s)
Edward Griffor, Eugene Song, Kang B. Lee, Gerald J. FitzPatrick
Smart sensors in smart grids (SGs) can provide real-time data and status of modernized, bidirectional flows of energy, electrical power grids for monitoring, protection, and control of grid operations to improve reliability and resilience. Smart sensor

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