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
- A Compositional Approach to Stochastic Optimal Control with Co-safe Temporal Logic Specifications +
- A Compositional Approach to Stochastic Optimal Control with Temporal Logic Specifications +
- A Computational Approach to Real-Time Trajectory Generation for Constrained Mechanical Systems +
- A Constrained Optimization Framework for Wireless Networking in Multi-Vehicle Applications +
- A Control-Oriented Analysis of Bio-Inspired Visuomotor Convergence +
- A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems +
- A Framework for Lyapunov Certificates for Multi-Vehicle Rendezvous Problems +
- A Frequency Domain Condition for Stability of Interconnected MIMO Systems +
- A Geometric Perspective on Bifurcation Control +
- A Risk-Aware Architecture for Resilient Spacecraft Operations +
- A Scalable Formulation for Engineering Combination Therapies for Evolutionary Dynamics of Disease +
- A State-space Realization Approach to Set Identification of Biochemical Kinetic Parameters +
- A Sub-optimal Algorithm to Synthesize Control Laws for a Network of Dynamic Agents +
- A Testbed for Nonlinear Flight Control Techniques: The Caltech Ducted Fan +
- A group-theoretic approach to formalizing bootstrapping problems +
- A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor +
- A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks +
- Active Control of Integrated Inlet/Compression Systems: Initial Results +
- An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols +
- An Estimation Algorithm for a Class of Networked Control Systems Using UDP-Like Communication Schemes +
- An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis +
- Analysis and design of a synthetic transcriptional network for exact adaptation +
- Analysis of Delays in Transcriptional Signaling Networks with Time-Varying Temperature-Dependent Rate Coefficients +
- Application of Correct-by-Construction Principles for a Resilient Risk-Aware Architecture +
- Approximate Distributed Kalman Filtering in Sensor Networks with Quantifiable Performance +
- Approximation of Subnetwork Models using Frequency-Domain Data +
- Automaton-Guided Controller Synthesis for Nonlinear Systems with Temporal Logic +
- Backtracking temporal logic synthesis for uncertain environments +
- Bioligically Inspired Feedback Design for Drosophila Flight +
- Biomolecular resource utilization in elementary cell-free gene circuits +
- Bisimulations for Reasoning about Input-to-State Stability Properties of Hybrid Systems +
- Cascade Discrete-Continuous State Estimators for a Class of Monotone Systems +
- Characterization of minimum inducer separation time for a two-input integrase-based event detector +
- Collaborative System Identification via Parameter Consensus +
- Communication and Sensing Trade-Offs in Decentralized Mobile Sensor Networks: A Cross-Layer Design Approach +
- Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems +
- Control System Analysis on Symmetric Cones +
- Controller Synthesis for Constrained Flight Systems via Receding Horizon Optimization +
- Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids +
- Cross-entropy Temporal Logic Motion Planning +
- Data Transmission over Networks for Estimation +
- Decentralised minimal-time dynamic consensus +
- Delay-Based Approximations of Biological Systems for Analysis and Design +
- Design and Implementation of a Biomolecular Circuit for Tracking Protein Concentration +
- Design of a Toolbox of RNA Thermometers +
- Designing Robustness to Temperature in a Feedforward Loop Circuit +
- Discrete Function Approximation: Numerical Tools for Nonlinear Control +
- Discrete State Estimators for a Class of Nondeterministic Hybrid Systems on a Lattice +
- Distributed Averaging on Asynchronous Communication Networks +
- Distributed Cooperative Control of Multiple Vehicle Formations Using Structural Potential Functions +