Search Results - "O'Kelly, Matthew"

Resolving uncertainty on the fly: modeling adaptive driving behavior as active inference by Engström, Johan, Wei, Ran, McDonald, Anthony D, Garcia, Alfredo, O'Kelly, Matthew, Johnson, Leif

“…Understanding adaptive human driving behavior, in particular how drivers manage uncertainty, is of key importance for developing simulated human driver models…”
Get full text

Stillness and salvation: Reading Psalm 46 in its context by O’Kelly, Matthew A.

“…A society is significantly shaped by the myths it perpetuates. These myths serve as lenses for how its people see and make sense of the world around them…”
Get full text

Wisdom and the fear of YHWH: Rethinking their relationship in Proverbs 1–9 by O’Kelly, Matthew A.

“…The significance of the fear of YHWH for the theology of Proverbs 1–9 is incontrovertible. In the present essay it is argued firstly that, in light of numerous…”
Get full text

Simulated hygrothermal performance of a desiccant-assisted hybrid air/water conditioning system in a mixed humid climate under dynamic load by O’Kelly, Matthew, Walter, Mark E., Rowland, James R.

“…•This paper details the dynamic simulation of a small Passivhaus structure.•The structure is simulated with a novel desiccant assisted heat pump.•The…”
Get full text

Simulated hygrothermal performance of a Passivhaus in a mixed humid climate under dynamic load by O’Kelly, Matthew, Walter, Mark E., Rowland, James R.

“…•Passivhaus energy use specifications can be met in a mixed-humid climate.•Traditional heat pump and controls result in many high humidity events.•Mold growth…”
Get full text

Accelerated Risk Assessment and Domain Adaptation for Autonomous Vehicles by O'Kelly, Matthew

“…Autonomous vehicles (AVs) are already driving on public roads around the US; however, their rate of deployment far outpaces quality assurance and regulatory…”
Get full text

Computer-aided design for safe autonomous vehicles by O'Kelly, Matthew, Abbas, Houssam, Mangharam, Rahul

“…This paper details the design of an autonomous vehicle CAD toolchain, which captures formal descriptions of driving scenarios in order to develop a safety case…”
Get full text

TUNERCAR: A Superoptimization Toolchain for Autonomous Racing by O'Kelly, Matthew, Zheng, Hongrui, Jain, Achin, Auckley, Joseph, Luong, Kim, Mangharam, Rahul

“…TUNERCAR is a toolchain that jointly optimizes racing strategy, planning methods, control algorithms, and vehicle parameters for an autonomous racecar. In this…”
Get full text

Efficient Black-box Assessment of Autonomous Vehicle Safety by Norden, Justin, O'Kelly, Matthew, Sinha, Aman

“…While autonomous vehicle (AV) technology has shown substantial progress, we still lack tools for rigorous and scalable testing. Real-world testing, the…”
Get full text

An active inference model of car following: Advantages and applications by Wei, Ran, McDonald, Anthony D, Garcia, Alfredo, Markkula, Gustav, Engstrom, Johan, O'Kelly, Matthew

“…Driver process models play a central role in the testing, verification, and development of automated and autonomous vehicle technologies. Prior models…”
Get full text

Embedding Synthetic Off-Policy Experience for Autonomous Driving via Zero-Shot Curricula by Bronstein, Eli, Srinivasan, Sirish, Paul, Supratik, Sinha, Aman, O'Kelly, Matthew, Nikdel, Payam, Whiteson, Shimon

“…ML-based motion planning is a promising approach to produce agents that exhibit complex behaviors, and automatically adapt to novel environments. In the…”
Get full text

Neural Bridge Sampling for Evaluating Safety-Critical Autonomous Systems by Sinha, Aman, O'Kelly, Matthew, Tedrake, Russ, Duchi, John

“…Learning-based methodologies increasingly find applications in safety-critical domains like autonomous driving and medical robotics. Due to the rare nature of…”
Get full text

BayesRace: Learning to race autonomously using prior experience by Jain, Achin, O'Kelly, Matthew, Chaudhari, Pratik, Morari, Manfred

“…4th Conference on Robot Learning (CoRL 2020) Autonomous race cars require perception, estimation, planning, and control modules which work together…”
Get full text

A Driver’s License Test for Driverless Vehicles by Abbas, Houssam, O’Kelly, Matthew E, Rodionova, Alena, Mangharam, Rahul

“…This article elaborates the approaches that can be used to verify an autonomous vehicle (AV) before giving it a driver’s license. Formal methods applied to the…”
Get full text

In-silico Risk Analysis of Personalized Artificial Pancreas Controllers via Rare-event Simulation by O'Kelly, Matthew, Sinha, Aman, Norden, Justin, Namkoong, Hongseok

“…Modern treatments for Type 1 diabetes (T1D) use devices known as artificial pancreata (APs), which combine an insulin pump with a continuous glucose monitor…”
Get full text

Scalable End-to-End Autonomous Vehicle Testing via Rare-event Simulation by O'Kelly, Matthew, Sinha, Aman, Namkoong, Hongseok, Duchi, John, Tedrake, Russ

“…While recent developments in autonomous vehicle (AV) technology highlight substantial progress, we lack tools for rigorous and scalable testing. Real-world…”
Get full text

FormulaZero: Distributionally Robust Online Adaptation via Offline Population Synthesis by Sinha, Aman, O'Kelly, Matthew, Zheng, Hongrui, Mangharam, Rahul, Duchi, John, Tedrake, Russ

“…Balancing performance and safety is crucial to deploying autonomous vehicles in multi-agent environments. In particular, autonomous racing is a domain that…”
Get full text

F1/10: An Open-Source Autonomous Cyber-Physical Platform by O'Kelly, Matthew, Sukhil, Varundev, Abbas, Houssam, Harkins, Jack, Kao, Chris, Pant, Yash Vardhan, Mangharam, Rahul, Agarwal, Dipshil, Behl, Madhur, Burgio, Paolo, Bertogna, Marko

“…In 2005 DARPA labeled the realization of viable autonomous vehicles (AVs) a grand challenge; a short time later the idea became a moonshot that could change…”
Get full text