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
- Distributed Power Allocation for Vehicle Management Systems + (otm11-cdc)
- Distributed Synthesis of Control Protocols for Smart Camera Networks + (otwm11-iccps)
- Parametric Delay-margin Maximization of Consensus Network Using Local Control Scheme + (oym12-acc)
- Dynamics and Stability of Low Reynolds Number Swimming Near a Wall + (ozm10-siads)
- Towards Assume-Guarantee Profiles for Autonomous Vehicles + (pcm19-cdc)
- A modal interface contract theory for guarded input/output automata with an application in traffic system design + (pha+19-acc)
- Engineering pulsatile communication in bacterial consortia + (phm17-seed)
- Bisimulations for Reasoning about Input-to-State Stability Properties of Hybrid Systems + (plm12-cdc)
- Pre-orders for Reasoning about Stability Properties with respect to Input of Hybrid Systems + (plm13-emsoft)
- Pre-orders for Reasoning about Input-to-State Stability Properties of Hybrid Systems + (plm13-hscc)
- Control System Analysis on Symmetric Cones + (pm15-cdc)
- Long-distance communication in synthetic bacterial consortia through active signal propagation + (pm18-seed)
- Contracts of Reactivity + (pm19-formats)
- Model Reduction Tools For Phenomenological Modeling of Input-Controlled Biological Circuits + (pm20-wqbio)
- Inversion Based Trajectory Optimization + (pmm01-nolcos)
- A New Computational Method for Optimal Control of a Class of Constrained Systems Governed by Partial Differential Equations + (pmm02-ifac)
- Model Predictive Control with Signal Temporal Logic Specifications + (ram+14-cdc)
- Reactive Synthesis from Signal Temporal Logic Specifications + (ram+15-hscc)
- Model Predictive Control for Signal Temporal Logic Specifications + (ram+16-tac)
- POD Based Models of Self-Sustained Oscillations in the Flow Past an Open Cavity + (rcm00-ceas)