Search by property
From Murray Wiki
Jump to navigationJump to searchThis 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))
- 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))
- Voluntary lane-change policy synthesis with reactive control improvisation + (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))
- Synthesis of Reactive Switching Protocols from Temporal Logic Specifications + (To appear, <i>IEEE T. Automatic Control</i>)
- Synergistic dual positive feedback loops established by molecular sequestration generate robust bimodal response + (To appear, Proceedings of the National Academy of Science (PNAS))
- Discrete State Estimators for Systems on a Lattice + (To appear<i>, Automatica</i>)
- Bootstrapping bilinear models of robotic sensorimotor cascades + (Workshop on the Algorithmic Foundations of Robotics (WAFR), 2010 (Submitted))
- Quantification and Minimization of Crosstalk Sensitivity in Networks + (arXiv, q-bio.MN)
- Networks with the Smallest Average Distance and the Largest Average Clustering + (arXiv, q-bio.MN)