Daniel G. Cole

17 papers A 2Misc 2Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
A High-Assurance Systems Approach to Medical Device Security.
TPS-ISA
Daniel G. Cole, William W. Clark
2025 — conf
Formal Verification of Nonlinear Hybrid Systems Using Decomposition.
SAT-CPS@CODASPY
Abhimanyu Kapuria, Daniel G. Cole
2024 J jnl
Analyzing Errors in Controlled Turret System Given Target Location Input from Artificial Intelligence Methods in Automatic Target Recognition.
CoRR
Matthew Karlson, Heng Ban, Daniel G. Cole, Mai Abdelhakim, Jennifer Forsythe
2024 J jnl
Analyzing Errors in Controlled Turret System.
CoRR
Matthew Karlson, Heng Ban, Daniel G. Cole, Mai Abdelhakim, Jennifer Forsythe, John T. Fitzgibbons
2024 — conf
Formal Verification of a Nuclear Plant Thermal Dispatch Operation Using System Decomposition.
TPS-ISA
Abhimanyu Kapuria, Daniel G. Cole
2023 J jnl
A Hybrid Reliability Model Using Generalized Renewal Processes for Predictive Maintenance in Nuclear Power Plant Circulating Water Systems.
IEEE Access
Ryan M. Spangler, Vivek Agarwal, Daniel G. Cole
2022 J jnl
Bayesian games for the cybersecurity of nuclear power plants.
Int. J. Crit. Infrastructure Prot.
Lee T. Maccarone, Daniel G. Cole
2021 J jnl
The Importance of Indigenous Cartography and Toponymy to Historical Land Tenure and Contributions to Euro/American/Canadian Cartography.
ISPRS Int. J. Geo Inf.
Daniel G. Cole, E. Richard Hart
2018 Misc conf
Dynamic Wireless Network Reconfiguration for Control System applied to a Nuclear Reactor Case Study.
RTNS
Wenchen Wang, Daniel Mossé, Daniel G. Cole, Jason G. Pickel
2017 A conf
Work-in-Progress: Cross-Layer Real-Time Scheduling for Wireless Control System.
RTAS
Wenchen Wang, Daniel Mossé, Jason G. Pickel, Daniel G. Cole
2017 A conf
Work-in-Progress: Wireless Network Reconfiguration for Control Systems.
RTAS
Wenchen Wang, Daniel Mossé, Jason G. Pickel, Daniel G. Cole
2016 Misc conf
Integrating Control and Fault-Tolerant Wireless Network Design for Small Modular Nuclear Reactors (Invited Paper).
IRI
Wenchen Wang, Christopher D'Angelo, Daniel Mossé, Daniel G. Cole
2015 — conf
Bitvector: Fault Tolerant Aggregation Scheme for Monitoring in Nuclear Power Plants.
HPCC/CSS/ICESS
Wenchen Wang, Daniel Mossé, Daniel G. Cole
2013 J jnl
Manipulation of Magnetic Particles Using Adaptive Magnetic Traps.
IEEE Trans. Control. Syst. Technol.
Jason G. Pickel, Daniel G. Cole
2013 J jnl
Nonlinear Control Algorithm for Improving Settling Time in Systems With Friction.
IEEE Trans. Control. Syst. Technol.
Brian A. Bucci, Daniel G. Cole, Stephen J. Ludwick, Jeffrey S. Vipperman
2010 J jnl
GIS Cartography: A Guide to Effective Map Design.
Cartogr. Int. J. Geogr. Inf. Geovisualization
Daniel G. Cole
2006 J jnl
Automated CAD/CAM-based nanolithography using a custom atomic force microscope.
IEEE Trans Autom. Sci. Eng.
Matthew S. Johannes, Jonathan F. Kuniholm, Daniel G. Cole, Robert L. Clark