Brian C. Williams

Brian C. Williams, Stephanie Gil, B. Williams, 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

Market-based risk allocation for multi-agent systems

Masahiro Ono, Brian C. Williams, 2010, AAMAS.

Measurement Maximizing Adaptive Sampling with Risk Bounding Functions

Brian C. Williams, Benjamin J. Ayton, Richard Camilli, 2019, AAAI.

Diagnosis as Semiring-Based Constraint Optimization

Brian C. Williams, Martin Sachenbacher, B. Williams, 2004, ECAI.

An Autonomous Spacecraft Agent Prototype

Erann Gat, P. Pandurang Nayak, Nicola Muscettola, 1998, Auton. Robots.

Model-based execution

Brian C. Williams, Michael D. Ingham, Paul Robertson, 2005 .

Model Based Autonomy for Robust Mars Operations

P. Pandurang Nayak, Brian C. Williams, James Kurien, 1998 .

The Techsat-21 Autonomous Sciencecraft Constellation Demonstration

Rob Sherwood, Steve Chien, Brian C. Williams, 2001 .

Back to Backtracking: Controlling the ATMS

Brian C. Williams, Johan de Kleer, B. Williams, 1986, AAAI.

Improving Model-based Mode Estimation through Offline Compilation

Brian C. Williams, Seung H. Chung, John M. Van Eepoel, 2001 .

Adaptable mission planning for kino-dynamic systems

Brian C. Williams, Lawrence A.M. Bush, Tony R. Jimenez, 2013, 2013 IEEE Aerospace Conference.

Diagnosing Complex Systems with Software-Extended Behavior using Constraint Optimization

Brian C. Williams, Martin Sachenbacher, Tsoline Mikaelian, 2005 .

Mode Estimation of Probabilistic Hybrid Systems

Brian C. Williams, Michael W. Hofbaur, B. Williams, 2002, HSCC.

Model learning for switching linear systems with autonomous mode transitions

Brian C. Williams, Lars Blackmore, Stephanie Gil, 2007, 2007 46th IEEE Conference on Decision and Control.

Remote Agent: To Boldly Go Where No AI System Has Gone Before

P. Pandurang Nayak, Nicola Muscettola, Brian C. Williams, 1998, Artif. Intell..

Uncertainty-Aware Driver Trajectory Prediction at Urban Intersections

Luke Fletcher, Xin Huang, Guy Rosman, 2019, 2019 International Conference on Robotics and Automation (ICRA).

Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State

Brian C. Williams, Michel D. Ingham, B. Williams, 2002, CP.

Model-based autonomy

Brian C. Williams, Michel D. Ingham, Paul Robertson, 2005 .

10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems

Oleg Sokolsky, Brian C. Williams, Klaus Havelund, 2010, Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.

Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles

Masahiro Ono, Brian C. Williams, Lars Blackmore, 2007, HSCC.

Risk-sensitive plan execution for connected sustainable home

Masahiro Ono, Brian C. Williams, Wesley Graybill, 2012, BuildSys@SenSys.

Market-based Power Dispatch and Pricing Using Stochastic Model Predictive Control

Masahiro Ono, Brian C. Williams, Shuichi Adachi, 2014 .

Nonhomogeneous Time Mixed Integer Linear Programming Formulation for Traffic Signal Control

Scott Sanner, Brian C. Williams, Felipe W. Trevizan, 2016 .

Diagnosis as Approximate Belief State Enumeration for Probabilistic Concurrent Constraint Automata

Brian C. Williams, Michel D. Ingham, Oliver B. Martin, 2005, AAAI.

A Model-Based Approach to Reactive Self-Configuring Systems

P. Pandurang Nayak, Brian C. Williams, B. Williams, 1996, AAAI/IAAI, Vol. 2.

Decompositional Modeling through Caricatural Reasoning

Brian C. Williams, Olivier Raiman, B. Williams, 1994, AAAI.

Runtime Verification of Stochastic Systems

Brian C. Williams, Cristina M. Wilcox, B. Williams, 2010 .

Best-first Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation (Extended Abstract)

Brian C. Williams, Eric Timmons, 2020, IJCAI.

Planning and Robotics (Dagstuhl Seminar 17031)

Malik Ghallab, Daniele Magazzeni, Brian C. Williams, 2017, Dagstuhl Reports.

A Biologically Modeled Intrusion Detection System for Mobile Networks

Brian C. Williams, Errin W. Fulp, 2010, 2010 International Conference on Broadband, Wireless Computing, Communication and Applications.

Active detection of drivable surfaces in support of robotic disaster relief missions

Brian C. Williams, Albert Chu, Lawrence A. Bush, 2013, 2013 IEEE Aerospace Conference.

A combined stochastic and greedy hybrid estimation capability for concurrent hybrid models with autonomous mode transitions

Brian C. Williams, Stanislav Funiak, Lars Blackmore, 2008, Robotics Auton. Syst..

The Use of Continuity in a Qualitative Physics

Brian C. Williams, B. Williams, 1984, AAAI.

Diagnosis with Behavioral Modes

Brian C. Williams, Johan de Kleer, B. Williams, 1989, IJCAI.

An embedded system architecture based on genetic algorithms for mission and safety planning with UAV

Claudio Fabiano Motta Toledo, Márcio da Silva Arantes, Brian C. Williams, 2017, GECCO.

Coordinating Agile Systems through the Model-based Execution of Temporal Plans

Brian C. Williams, Thomas Léauté, B. Williams, 2005, AAAI.

Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior

Brian C. Williams, Seung H. Chung, Vineet Gupta, 2001, IJCAI.

Decentralized chance-constrained finite-horizon optimal control for multi-agent systems

Masahiro Ono, Brian C. Williams, B. Williams, 2010, 49th IEEE Conference on Decision and Control (CDC).

Chance-Constrained Scheduling via Conflict-Directed Risk Allocation

Brian C. Williams, Andrew J. Wang, B. Williams, 2015, AAAI.

Generative Planning for Hybrid Systems Based on Flow Tubes

Brian C. Williams, Hui X. Li, B. Williams, 2008, ICAPS.

Robust Execution on Contingent, Temporally Flexible Plans

Brian C. Williams, Stephen A. Block, Andreas F. Wehowsky, 2006, AAAI.

Conflict-directed A* and its role in model-based embedded systems

Brian C. Williams, Robert J. Ragno, B. Williams, 2007, Discret. Appl. Math..

A Reactive Model-based Programming Language for Robotic Space Explorers

Brian C. Williams, Michel D. Ingham, Robert Ragno, 2001 .

for Hybrid Systems with Autonomous Mode Transitions

Brian C. Williams, Stanislav Funiak, B. Williams, 2003 .

Paper Summary: Probabilistic Planning for Continuous Dynamic Systems under Bounded Risk

Masahiro Ono, Brian C. Williams, Lars Blackmore, 2013, ICAPS.

MODEL-BASED AUTONOMY FOR THE NEXT GENERATION OF ROBOTIC SPACECRAFT

Brian C. Williams, Michel D. Ingham, Lorraine M. Fesq, 2002 .

Model-based programming

Brian C. Williams, Michel D. Ingham, Paul Robertson, 2005 .

Fast Context Switching in Real-time Propositional

Brian C. Williams, Moffett Field, B. Williams, 1997 .

30th AAAI Conference on Artificial Intelligence, AAAI 2016

Francesca Rossi, Brian C. Williams, Kristen Brent Venable, 2016, AAAI 2016.

Best-First Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation

Brian C. Williams, Eric Timmons, 2020, J. Artif. Intell. Res..

A Reactive Planner for a Model-based Executive

P. Pandurang Nayak, Brian C. Williams, 1997, IJCAI.

MINIMA: A Symbolic Approach to Qualitative Algebraic Reasoning

Brian C. Williams, B. Williams, 1988, AAAI.

Two-stage Optimization Approach to Robust Model Predictive Control with a Joint Chance Constraint

Masahiro Ono, Brian C. Williams, 2008 .

Qualitative Reasoning about Physical Systems: A Return to Roots

Brian C. Williams, Johan de Kleer, B. Williams, 1991, Artif. Intell..

AUV bathymetric mapping depth planning for bottom following splice linear programming algorithm

Brian C. Williams, Lars Blackmore, Lawrence A. M. Bush, 2016, OCEANS 2016 MTS/IEEE Monterey.

Iterative Risk Allocation: A new approach to robust Model Predictive Control with a joint chance constraint

Masahiro Ono, Brian C. Williams, B. Williams, 2008, 2008 47th IEEE Conference on Decision and Control.

Interaction-Based Invention: Designing Novel Devices from First Principles

Brian C. Williams, B. Williams, B. Williams, 1990, AAAI.

Hybrid Risk-Aware Conditional Planning with Applications in Autonomous Vehicles

Xin Huang, Brian C. Williams, Andreas Hofmann, 2018, 2018 IEEE Conference on Decision and Control (CDC).

Timed model-based programming: executable specifications for robust mission-critical sequences

Brian C. Williams, Michel D. Ingham, B. Williams, 2003 .

Chance-Constrained Optimal Path Planning With Obstacles

Masahiro Ono, Brian C. Williams, Lars Blackmore, 2011, IEEE Transactions on Robotics.

A Probabilistic Particle-Control Approximation of Chance-Constrained Stochastic Predictive Control

Masahiro Ono, Brian C. Williams, Lars Blackmore, 2010, IEEE Transactions on Robotics.

10451 Executive Summary - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems

Oleg Sokolsky, Brian C. Williams, Klaus Havelund, 2010, Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.

Doing Time: Putting Qualitative Reasoning on Firmer Ground

Brian C. Williams, B. Williams, B. Williams, 1986, AAAI.

Immobile Robots AI in the New Millennium

P. Pandurang Nayak, Brian C. Williams, 1996, AI Mag..

Moment-Sum-of-Squares Approach for Fast Risk Estimation in Uncertain Environments

Brian C. Williams, Andreas Hofmann, Ashkan M. Jasour, 2018, 2018 IEEE Conference on Decision and Control (CDC).

Decompositional, Model-based Learning and its Analogy to Diagnosis

Brian C. Williams, William Millar, 1998, AAAI/IAAI.

Towards architecture-wide analysis, verification, and validation for total system stability during goal-seeking space robotics operations

Petter Ögren, Richard M. Murray, Catharine L. R. McGhan, 2016 .

A risk-aware architecture for resilient spacecraft operations

Richard M. Murray, Tara Estlin, Masahiro Ono, 2015, 2015 IEEE Aerospace Conference.

Fast Context Switching in Real-Time Propositional Reasoning

P. Pandurang Nayak, Brian C. Williams, B. Williams, 1997, AAAI/IAAI.

Model-Directed Autonomous Systems

P. Pandurang Nayak, Brian C. Williams, B. Williams, 1998, AI Mag..

Autonomous sequencing and model-based fault protection for space interferometry

Brian C. Williams, Michel D. Ingham, T. Lockhart, 2001 .

A Demonstration of Robust Planning and Scheduling in the Techsat-21 Autonomous Sciencecraft Constellation

Rob Sherwood, Steve Chien, Brian C. Williams, 2014 .

AUTONOMOUS DIAGNOSIS BASED ON SOFTWARE-EXTENDED BEHAVIOR MODELS

Brian C. Williams, Martin Sachenbacher, Tsoline Mikaelian, 2005 .

Conflict-Directed A* Search for Soft Constraints

Brian C. Williams, Martin Sachenbacher, 2006, CPAIOR.

ScottyActivity: Mixed Discrete-Continuous Planning with Convex Optimization

Erez Karpas, Brian C. Williams, Enrique Fernández-González, 2018, J. Artif. Intell. Res..

Incremental temporal reasoning in job shop scheduling repair

Brian C. Williams, L. Zheng, H. Yang, 2010, 2010 IEEE International Conference on Industrial Engineering and Engineering Management.

Overview of the MESSENGER Mercury Dual Imaging System

Brian C. Williams, Scott L. Murchie, E. H. Darlington, 2001 .

A Fast Incremental Dynamic Controllability Algorithm

Brian C. Williams, John Stedl, B. Williams, 2005 .

Remote agent prototype for spacecraft autonomy

Erann Gat, P. Pandurang Nayak, Nicola Muscettola, 1996, Optics & Photonics.

A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft

Erann Gat, Christian Plaunt, P. Pandurang Nayak, 1998, Agents.

Toward Information-Driven and Risk-Bounded Autonomy for Adaptive Science and Exploration

Brian C. Williams, Michel D. Ingham, Benjamin J. Ayton, 2020, ASCEND 2020.

Reactive, model-based monitoring in RFID-enabled manufacturing

Yi Huang, Li Zheng, Brian C. Williams, 2011, Comput. Ind..

A Hybrid Data Fusion Approach for Robust Attitude Estimation

Brian C. Williams, Renato Vilela Lopes, Geovany Araujo Borges, 2016 .

Active Estimation for Jump Markov Linear Systems

Brian C. Williams, Lars Blackmore, Senthooran Rajamanoharan, 2008, IEEE Transactions on Automatic Control.

Faster Conflict Generation for Dynamic Controllability

Brian C. Williams, Nikhil Bhargava, Tiago Stegun Vaquero, 2017, IJCAI.

Fundamentals of model-based reasoning

Brian C. Williams, Michel D. Ingham, Paul Robertson, 2005 .

A Market for Reliability for Electricity Scheduling in Developing World Microgrids (Extended Abstract)

Brian C. Williams, Wardah Inam, Daniel Strawser, 2015 .

On-Demand Bound Computation for Best-First Constraint Optimization

Brian C. Williams, Martin Sachenbacher, B. Williams, 2004, CP.

Online Risk-Bounded Motion Planning for Autonomous Vehicles in Dynamic Environments pdf

Xin Huang, Brian C. Williams, Andreas Hofmann, 2019, ICAPS.

Reasoning about Multiple Faults

Brian C. Williams, Johan de Kleer, B. Williams, 1986, AAAI.

Risk-limiting, market-based power dispatch and pricing

Masahiro Ono, Brian C. Williams, Shuichi Adachi, 2013, 2013 European Control Conference (ECC).

CARPAL: Confidence-Aware Intent Recognition for Parallel Autonomy pdf

Luke Fletcher, Guy Rosman, Jonathan A. DeCastro, 2020, ArXiv.

RADMPC: A Fast Decentralized Approach for Chance-Constrained Multi-Vehicle Path-Planning pdf

Brian C. Williams, Benjamin J. Ayton, Aaron Huang, 2018, ArXiv.

Enumerating Preferred Solutions to Conditional Simple Temporal Networks Quickly Using Bounding Conflicts

Brian C. Williams, Eric Timmons, B. Williams, 2015, AAAI 2015.

PROGRESS TOWARDS TASK-LEVEL COLLABORATION BETWEEN ASTRONAUTS AND THEIR ROBOTIC ASSISTANTS

Brian C. Williams, Andreas G. Hofmann, Andreas Hofmann, 2005 .

A Theory of Interactions: Unifying Qualitative and Quantitative Algebraic Reasoning

Brian C. Williams, B. Williams, B. Williams, 1991, Artif. Intell..

Hybrid estimation of complex systems

Brian C. Williams, Michael W. Hofbaur, B. Williams, 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

Moment-Based Exact Uncertainty Propagation Through Nonlinear Stochastic Autonomous Systems pdf

Brian C. Williams, Ashkan Jasour, Allen Wang, 2021, ArXiv.

Fast nonlinear risk assessment for autonomous vehicles using learned conditional probabilistic models of agent futures pdf

Brian C. Williams, Ashkan Jasour, Xin Huang, 2021, Auton. Robots.

TIP: Task-Informed Motion Prediction for Intelligent Systems pdf

John J. Leonard, Guy Rosman, Brian C. Williams, 2021, ArXiv.

CARPAL: Confidence-Aware Intent Recognition for Parallel Autonomy

John J. Leonard, Guy Rosman, Jonathan A. DeCastro, 2021, IEEE Robotics and Automation Letters.

An Anytime Algorithm for Chance Constrained Stochastic Shortest Path Problems and Its Application to Aircraft Routing

Brian C. Williams, Majid Khonji, Rashid Alyassi, 2021, 2021 IEEE International Conference on Robotics and Automation (ICRA).

Privacy-Preserving Algorithm for Decoupling of Multi-Agent Plans with Uncertainty

Brian C. Williams, Yuening Zhang, B. Williams, 2021, ICAPS.

Generalized Conflict-directed Search for Optimal Ordering Problems pdf

Brian C. Williams, Yuening Zhang, Jingkai Chen, 2021, SOCS.

HYPER: Learned Hybrid Trajectory Prediction via Factored Inference and Adaptive Sampling pdf

John J. Leonard, Igor Gilitschenski, Guy Rosman, 2021, 2022 International Conference on Robotics and Automation (ICRA).

Who’s on First? Stakeholder Differences in Customer Relationship Management and the Elusive Notion of “Shared Understanding”

Brian C. Williams, Thomas W. Leigh, Christopher R. Plouffe, 2004 .

16.410 / 16.413 Principles of Autonomy and Decision Making, Fall 2005

Nicholas Roy, Brian C. Williams, N. Roy, 2003 .

From products to solutions: the role of salesperson opportunity recognition

Brian C. Williams, Leff Bonney, B. Williams, 2009 .

Critical Abstraction : Generating Simplest Models for Causal Explanation

Brian C. Williams, B. Williams, 1991 .

Markets of one

Brian C. Williams, B. Williams, B. Williams, 2007 .

DIAGNOSIS WITH BEHAVIORAL MODES 1

Brian C. Williams, Johan de Kleer, B. Williams, 2022 .

Gaussian Particle Filtering for Concurrent Hybrid Models Gaussian Particle Filtering for Concurrent Hybrid Models with Autonomous Transitions

Brian C. Williams, Stanislav Funiak, B. Williams, 2004 .

A Non-homogeneous Time Mixed Integer LP Formulation for Traffic Signal Control

Scott Sanner, Brian C. Williams, Felipe W. Trevizan, 2015 .

Circumscribing Circumscription. A Guide to Relevance and Incompleteness

Brian C. Williams, 1985 .

DIAGNOSING MULTIPLE FAULTS 1

Brian C. Williams, Johan de Kleer, B. Williams, 2008 .

Assessing the evolution of sales knowledge: A 20-year content analysis

Brian C. Williams, Christopher R. Plouffe, B. Williams, 2007 .