Property:Type

From Murray Wiki
Jump to navigationJump to search

This is a property of type Text.

previous 1002050100250500next 100
Showing 100 pages using this property.
E
Equilibrium Controllability for a Class of Mechanical Systems +
Conferencepaper  +
Estimation Over Wireless Sensor Networks: Tradeoff between Communication, Computation and Estimation Qualities +
Preprint  +
Estimation over Communication Networks: Performance Bounds and Achievability Results +
Conference Paper  +
Estimation schemes for networked control systems using UDP-like communication +
Preprint  +
Estimation with Information Loss: Asymptotic Analysis and Error Bounds +
Conference Paper  +
Evaluation Metrics for Object Detection for Autonomous Systems +
Conference paper  +
Evaluation of Bleed Valve Rate Requirements in Nonlinear Control of Rotating Stall +
CDS Technical Report  +
Exact Stability Analysis of Discrete-Time Linear Systems with Stochastic Delays +
Conference Paper  +
Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order +
Conference Paper  +
Experimental Comparison of Trajectory Trackers for a Car with Trailers +
Conference paper  +
Experimental Demonstration of the Dynamics and Stability of a Low Reynolds Number Swimmer Near a Plane Wall +
Preprint  +
Experimental Evaluation of Air Injection for Actuation of Rotating Stall in a Low Speed, Axial Fan +
Conference paper  +
Experiments in Exponential Stabilization of a Mobile Robot Towing a Trailer +
Conference paper  +
Experiments in Planar Manipulation and Grasping +
Masters Report  +
Exponential Stabilization of Driftless Nonlinear Control Systems +
CDS Technical Report  +
Exponential Stabilization of Driftless Nonlinear Control Systems via Time-varying, Homogeneous Feedback +
Conference paper  +
Extending Exponential Stabilizers for Nonholonomic Systems from Kinematic Controllers to Dynamic Controllers +
Conference paper  +
Extremal Properties of Complex Networks +
Technical Report  +
F
Failure Probability of Verifiable Goal-based Control Programs due to State Estimation Uncertainty +
Preprint  +
Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture +
Conference paper  +
Fast Automatic Verification of Large-Scale Systems with Lookup Tables +
Conference paper  +
Fast Mode Switching for a Thrust Vectored Aircraft +
Conference paper  +
Fast and flexible simulation and parameter estimation for synthetic biology using bioscrape +
BioRxiv preprint  +
Fault detection and isolation from uninterpreted data in robotic sensorimotor cascades +
Conference Paper  +
Fault-Tolerant Controller Design with Applications in Power Systems and Synthetic Biology +
Conference Paper  +
Feasible Trajectories of Linear Dynamic Systems with Inequality Constraints Using Higher-Order Representations +
Conference Paper  +
Feedback Stabilization of Steady-State and Hopf Bifurcations +
Conference Paper  +
Feedback Stabilization of Steady-State and Hopf Bifurcations: the Multi-input Case +
Conference Paper  +
Feedback architectures to regulate flux of components in artificial gene networks +
Conference Paper  +
Finding stationary solutions to the chemical master equation by gluing state spaces at one or two states recursively +
Conference Paper  +
Finite-Horizon Optimal Control and Stabilization of Time-Scalable Systems +
Conference Submission  +
Flat systems, equivalence and trajectory generation +
Technical Report  +
Flight control in a flapping-wing fruit fly simulator +
Preprint  +
Flight dynamics and control of evasive maneuvers: the fruit fly's takeoff +
Preprint  +
Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions +
Conference paper  +
Formal Verification of an Autonomous Vehicle System +
Preprint  +
Frequency-Weighted Model Reduction with Applications to Structured Models +
Conference Paper  +
From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology +
Conference paper  +
Future Directions in Control in an Information-Rich World +
Magazine article  +
Future Directions in Control, Dynamics, and Systems: Overview, Grand Challenges, and New Courses +
Journal submission  +
G
Geometric Approaches to Control in the Presence of Magnitude and Rate Saturations +
CDS Technical Report  +
Geometric Control of Particle Manipulation in a Two-Dimensional Fluid +
Preprint  +
Geometric Phases and Robotic Locomotion +
CDS Technical Report  +
Geometric Phases, Control Theory, and Robotics +
Preprint  +
Geometric trajectory filtering via numerical conformal mapping +
Conference Paper  +
Global Dynamical Structure Reconstruction from Reconstructed Dynamical Structure Subnetworks: Applications to Biochemical Reaction Networks +
Conference Paper  +
Graph Laplacians and Stabilization of Vehicle Formations +
Preprint  +
Grasping with Flexible Link Fingers: An Initial Study +
Conference paper  +
Guidelines for Designing the Antithetic Feedback Motif +
Journal paper  +
H
Hard Limits And Performance Tradeoffs In A Class Of Sequestration Feedback Systems +
Journal submission  +
Hiding variables when decomposing specifications into GR(1) contracts +
Conference paper  +
Hot-swapping robot task goals in reactive formal synthesis +
Conference Paper  +
How to model DNA replication in stochastic models of synthetic genetic circuits (and why) +
Preprint  +
I
Identification of Decision Rules in a Human-controlled System: Vehicles at a Traffic Intersection +
Conference Paper  +
Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications +
Conference paper  +
Implementation And Simulation Of Phosphorylation-Based Insulator In Transcription-Translation Platform +
Conference Paper  +
Information Flow and Cooperative Control of Vehicle Formations +
Conference Paper  +
Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications +
Conference paper  +
Intermittent Connectivity for Exploration in Communication-Constrained Multi-Agent Systems +
Conference paper  +
Invariant Sets for Integrators and Quadrotor Obstacle Avoidance +
Conference paper  +
Inverse Abstraction of Neural Networks Using Symbolic Interpolation +
Conference paper  +
Inversion Based Trajectory Optimization +
Conference Paper  +
J
J2 Dynamics and Formation Flight +
Conference Paper  +
Just-in-time synthesis for motion planning with temporal logic +
Conference Paper  +
K
Kalman Filtering Over A Packet Dropping Network: A Probabilistic Perspective +
Preprint  +
Kalman Filtering Over A Packet-delaying Network: A Probabilistic Approach +
Preprint  +
Kinetic Monte Carlo Simulation of Dynamic Phenomena in Thin Film Growth +
Conference Paper  +
L
Lagrangian Mechanics and Carangiform Locomotion +
Conference Paper  +
Layered Feedback Control Improves Robust Functionality across Heterogeneous Cell Populations +
Conference paper  +
Layered Feedback Control Overcomes Performance Trade-Off in Synthetic Biomolecular Networks +
Journal paper  +
Layering assume-guarantee contracts for hierarchical system design +
Journal paper  +
Learning diffeomorphism models of robotic sensorimotor cascades +
Conference Paper  +
Learning pose estimation for UAV autonomous navigation and landing using visual-inertial sensor data +
Conference paper  +
Learning-Based Abstractions for Nonlinear Constraint Solving +
Conference paper  +
Length and time scales of cell-cell signaling circuits in agar +
Conference paper  +
Leveraging Classification Metrics for Quantitative System-Level Analysis with Temporal Logic Specifications +
Conference paper  +
Limits of probabilistic safety guarantees when considering human uncertainty +
Conference paper  +
Limits on the Network Sensitivity Function for Multi-Agent Systems on a Graph +
Technical Report  +
Limits on the network sensitivity function for multi-agent systems on a graph +
Preprint  +
Linear DNA for rapid prototyping of synthetic biological circuits in an Escherichia coli based TX-TL cell-free system +
Journal Submission  +
Linear System Identifiability from Distributional and Time Series Data +
Conference Paper  +
Linear models for control of cavity flow oscillations +
Preprint  +
Long-distance communication in synthetic bacterial consortia through active signal propagation +
Conference paper  +
Low-Observable Nonlinear Trajectory Generation for Unmanned Air Vehicles +
Conference Paper  +
M
MVWT-II: The Second Generation Caltech Multi-Vehicle Wireless Testbed +
Conference Paper  +
Managing information in networked and multi-agent control systems +
Preprint  +
Metabolic engineering of Pseudomonas putida for production of vanillylamine from lignin-derived substrates +
Journal paper  +
Minimally Constrained Testing for Autonomy with Temporal Logic Specifications +
Conference paper  +
Model Predictive Control for Signal Temporal Logic Specifications +
Journal submission  +
Model Predictive Control for an Uncertain Smart Thermal Grid +
Conference Paper  +
Model Predictive Control of Coordinated Multi-Vehicle Formations +
Conference Paper  +
Model Predictive Control of a Thurst-Vectored Flight Control Experiment +
Conference Paper  +
Model Predictive Control with Signal Temporal Logic Specifications +
Conference Paper  +
Model Reduction Tools For Phenomenological Modeling of Input-Controlled Biological Circuits +
Conference paper  +
Model Reduction and System Identification for Master Equation Control Systems +
Conference Paper  +
Model Reduction for Compressible Flows using POD and Galerkin Projection +
Journal submission  +
Model Reduction via Centering and Karhunen Loeve Expansion +
Conference Paper  +
Model of Paradoxical Signaling Regulated T-Cell Population Control for Design of Synthetic Circuits +
Conference paper  +
Model reduction of interconnected linear systems +
Preprint  +
Model-Based Control of Cavity Oscillations, Part I: Experiments +
Conference paper  +
Retrieved from "https://murray.cds.caltech.edu/index.php?title=Property:Type&oldid=20371"