Search by property
From Murray Wiki
Jump to navigationJump to search
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Protein degradation in a TX-TL cell-free expression system using ClpXP protease + (Technical Report, 7 July 2014)
- Flight control in a flapping-wing fruit fly simulator + (The Neuromorphic Engineer)
- Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations + (To appear in IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2018)
- Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams + (To appear in Robotics: Science and Systems (RSS), 2018.)
- When are Distributed Algorithms Robust? + (To appear, 2006 Conference on Decision and Control (CDC))
- On Sensor Coverage by Mobile Sensors + (To appear, 2006 Conference on Decision and Control (CDC))
- Model-Based Estimation of Off-Highway Road Geometry using Single-Axis LADAR and Inertial Sensing + (To appear, 2006 International Conference on Robotics and Automation (ICRA))
- Frequency-Weighted Model Reduction with Applications to Structured Models + (To appear, 2007 American Control Conference (ACC))
- Bioligically Inspired Feedback Design for Drosophila Flight + (To appear, 2007 American Control Conference (ACC))
- Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids + (To appear, 2013 American Control Conference (ACC))
- Automaton-Guided Controller Synthesis for Nonlinear Systems with Temporal Logic + (To appear, 2013 International Conference on Intelligent Robots and Systems (IROS))
- Voluntary lane-change policy synthesis with reactive control improvisation + (To appear, 2018 Conference on Decision and Control (CDC))
- Optimal Experiment Design and Leveraging Competition for Shared Resources in Cell-free Extracts + (To appear, 2018 Conference on Decision and Control (CDC))
- Role of interaction network topology in controlling microbial population in consortia + (To appear, 2018 Conference on Decision and Control (CDC))
- End-to-End Safe Reinforcement Learning through Barrier Functions for Safety-Critical Continuous Control Tasks + (To appear, 2019 AAAI Conference on Artificial Intelligence)
- Inverse Abstraction of Neural Networks Using Symbolic Interpolation + (To appear, 2019 AAAI Conference on Artificial Intelligence)
- Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions + (To appear, 2020 Conference on Decision and Control (CDC))
- Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications + (To appear, 2021 Conference on Decision and Control)
- Time-Optimal Navigation in Uncertain Environments with High-Level Specifications + (To appear, 2021 Conference on Decision and Control (CDC))
- Robust Safe Control Synthesis with Disturbance Observer-Based Control Barrier Functions + (To appear, 2022 Conference on Decision and Control (CDC))
- Evaluation Metrics of Object Detection for Quantitative System-Level Analysis of Autonomous Systems + (To appear, 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS))
- Specifying and Analyzing Networked and Layered Control Systems Operating on Multiple Clocks + (To appear, 2024 Conference on Decision and Control (CDC))
- Synthesis of Reactive Switching Protocols from Temporal Logic Specifications + (To appear, <i>IEEE T. Automatic Control</i>)