Browse wiki

From MurrayWiki
Jump to: navigation, search
The TerraSwarm Research Center
Agency STARnet  +
End date 14 January 2018  +
ID SRC TerraSwarm  +
Start date 15 January 2013  +
Has query
"Has query" is a predefined property that represents meta information (in form of a subobject) about individual queries.
The TerraSwarm Research Center + , The TerraSwarm Research Center +
Categories Completed projects
Modification date
This property is a special property in this wiki.
22 December 2017 06:40:02  +
hide properties that link here 
Collaborative System Identification via Parameter Consensus + , Control design for hybrid systems with TuLiP: The temporal logic planning toolbox + , Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis + , Enhancing tolerance to unexpected jumps in GR(1) games + , Exact Stability Analysis of Discrete-Time Linear Systems with Stochastic Delays + , Hiding variables when decomposing specifications into GR(1) contracts + , Identifying and exploiting tolerance to unexpected jumps in synthesized strategies for GR(1) specifications + , Layering assume-guarantee contracts for hierarchical system design + , Learning-Based Abstractions for Nonlinear Constraint Solving + , Model Predictive Control for Signal Temporal Logic Specifications + , Online Horizon Selection in Receding Horizon Temporal Logic Planning + , Parallelizing Synthesis from Temporal Logic Specifications by Identifying Equicontrollable States + , Reactive Synthesis from Signal Temporal Logic Specifications + , Robust Model Predictive Control for Signal Temporal Logic Synthesis + , SRC TerraSwarm, DENSO CPM + , Symbolic construction of GR(1) contracts for systems with full information + , Synthesis from multi-paradigm specifications + , Time-Delayed Feedback Channel Design: Discrete Time H infty Approach + , Variable Elimination for Scalable Receding Horizon Temporal Logic Planning + Funding
Ioannis Filippidis + , Sumanth Dathathri + Previous projects
SRC TerraSwarm + redirect page


Enter the name of the page to start browsing from.