Daniel Dvorak

Jet Propulsion Laboratory — United States

Computer Science · Physical Sciences

15h-index1.1kcitations60works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

AI-based Problem Solving and Planning(16), Distributed systems and fault tolerance(14), Real-Time Systems Scheduling(14), Advanced Software Engineering Methodologies(11), Distributed and Parallel Computing Systems(9)

Publications60 total

Ontology and Modeling Patterns for State-Based Behavior Representation
AIAA Infotech @ Aerospace·2015· 22 cited
Two Mechanisms to Avoid Control Conflicts Resulting from Uncoordinated Intent
NASA Technical Reports Server (NASA)·2013
Real-Time Projection to Verify Plan Success During Execution
NASA Technical Reports Server (NASA)·2012
Goal-Based Fault Management
NASA Technical Reports Server (NASA)·2012· 2 cited
Towards a State Based Control Architecture for Large Telescopes: Laying a Foundation at the VLT
2011· 6 cited
Safety-critical Partitioned Software Architecture: A Partitioned Software Architecture for Robotic Spacecraft
Infotech@Aerospace 2011·2011· 2 cited
Update - concept of operations for Integrated Model-Centric Engineering at JPL
2011· 28 cited
Architectural Concepts for Human-Rated Automation
AIAA Infotech@Aerospace 2010·2010· 1 cited
A Combinatorial Test Suite Generator for Gray-Box Testing
2009· 15 cited
NASA Study on Flight Software Complexity
AIAA Infotech@Aerospace Conference·2009· 140 cited
A Control Architecture for Safe Human-Robotic Interactions During Lunar Surface Missions
AIAA Infotech@Aerospace Conference·2009· 3 cited
Combinatorial Generation of Test Suites
NASA Technical Reports Server (NASA)·2009Open Access
Comparison of Goal-Based Operations and Command Sequencing
SpaceOps 2008 Conference·2008· 8 cited
An Architectural Pattern for Goal-Based Control
Proceedings - IEEE Aerospace Conference·2008· 14 cited
Goal-Based Operations: An Overview
AIAA Infotech@Aerospace 2007 Conference and Exhibit·2007· 14 cited
A Unifying Framework for Systems Modeling, Control Systems Design, and System Operation
2006· 11 cited
Architecture for Verifiable Software
NASA Technical Reports Server (NASA)·2005Open Access
Achieving Control and Interoperability Through Unified Model-Based Systems and Software Engineering
Infotech@Aerospace·2005· 11 cited
MDS overview and demonstration
NASA Technical Reports Server (NASA)·2005
Hard real-time
2004· 7 cited
page 1 of 3Next →

Frequent Co-authors

Robert Rasmussen(8), Michel D. Ingham(8), David Wagner(7), Kirk Reinholtz(6), Matthew Bennett(5), Mark Indictor(4), James M. Crawford(4), Diane Litman(4), Anil Kumar Mishra(4), Peter F. Patel‐Schneider(4), Benjamin Kuipers(3), Greg Bollella(3), Tim Canham(3), Vanessa Carson(3), Virgil Champlin(3), Brian Giovannoni(3), K. Meyer(3), Thomas Starbird(3), Anthony Barrett(3), Andrew Mishkin(3)