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
- Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications + (dlm16-cdc)
- Enhancing tolerance to unexpected jumps in GR(1) games + (dlm17-iccps)
- Interfacing TuLiP with the JPL Statechart Autocoder: Initial progress toward synthesis of flight software from formal specifications + (dlrm16-ieeeaero)
- Model Predictive Control of Coordinated Multi-Vehicle Formations + (dm02-cdc)
- Observability and Local Observer Construction for Unknown Parameters in Linearly and Nonlinearly Parameterized Systems + (dm03-acc)
- The RoboFlag Competition + (dm03b-acc)
- Distributed Receding Horizon Control with Applications to Multi-Vehicle Formation Stabilization + (dm04-automatica)
- Receding Horizon Control of Multi-Vehicle Formations: A Distributed Implementation + (dm04-cdc)
- Observers for a Class of Hybrid Systems on a Lattice + (dm04-hscc)
- Observability of a Class of Hybrid Systems on Bounded Lattices + (dm04a-cdc)
- Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order + (dm05-hscc)
- Cascade Discrete-Continuous State Estimators for a Class of Monotone Systems + (dm05-ifac)
- Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis + (dm17-cdc)
- Robust Nonlinear Control Theory with Applications to Aerospace Vehicles + (dm96-ifac)
- Model Predictive Control of a Thurst-Vectored Flight Control Experiment + (dmfm02-ifac)
- Discrete State Estimators for Systems on a Lattice + (dmk04-automatica)
- Primitives for Human Motion: A Dynamical Approach + (dmp01-cds)
- Segmentation of Human Motion into Dynamics Based Primitives with Application to Drawing Tasks + (dmp03-acc)
- Decomposition of Human Motion into Dynamics Based Primitives with Application to Drawing Tasks + (dmp03-automatica)
- Classification of Human Motion into Dynamics Based Primitives with Application to Drawing Tasks + (dmp03-ecc)