Danielle C. Tarraf
RAND Corporation(US)
Publications by Year
Research Areas
Formal Methods in Verification, Petri Nets in System Modeling, Advanced Control Systems Optimization, Stability and Control of Uncertain Systems, Fault Detection and Control Systems
Most-Cited Works
- → A Framework for Robust Stability of Systems Over Finite Alphabets(2008)73 cited
- → Finite Approximations of Switched Homogeneous Systems for Controller Synthesis(2011)42 cited
- → Control of Cyber-Physical Systems(2013)41 cited
- → Advancing Autonomous Systems: An Analysis of Current and Future Technology for Unmanned Maritime Vehicles(2019)36 cited
- → The Department of Defense Posture for Artificial Intelligence: Assessment and Recommendations(2019)35 cited
- → A Control-Oriented Notion of Finite State Approximation(2012)33 cited
- → On the nature and stability of differential-algebraic systems(2002)29 cited
- → An Input-Output Construction of Finite State <inline-formula> <tex-math notation="TeX">$\rho/\mu$</tex-math></inline-formula> Approximations for Control Design(2014)24 cited
- → Finite State Controllers for Stabilizing Switched Systems with Binary Sensors(2007)21 cited
- → Finite automata approximations with error bounds for systems with quantized actuation and measurement: a case study(2004)19 cited