Oldest pages

From Murray Wiki
Jump to navigationJump to search

Showing below up to 50 results in range #951 to #1,000.

View ( | ) (20 | 50 | 100 | 250 | 500)

  1. Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution‏‎ (06:15, 15 May 2016)
  2. System identification of phosophorylation based insulator in a cell-free in vitro transcription-translation system‏‎ (06:15, 15 May 2016)
  3. Implementation And Simulation Of Phosphorylation-Based Insulator In Transcription-Translation Platform‏‎ (06:15, 15 May 2016)
  4. Analysis of Delays in Transcriptional Signaling Networks with Time-Varying Temperature-Dependent Rate Coefficients‏‎ (06:15, 15 May 2016)
  5. Negative autoregulation matches production and demand in synthetic transcriptional networks‏‎ (06:15, 15 May 2016)
  6. Efficient control synthesis for augmented finite transition systems with an application to switching protocols‏‎ (06:15, 15 May 2016)
  7. Collaborative System Identification via Parameter Consensus‏‎ (06:15, 15 May 2016)
  8. Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information‏‎ (06:15, 15 May 2016)
  9. A Scalable Formulation for Engineering Combination Therapies for Evolutionary Dynamics of Disease‏‎ (06:15, 15 May 2016)
  10. A Compositional Approach to Stochastic Optimal Control with Temporal Logic Specifications‏‎ (06:15, 15 May 2016)
  11. Time-Delayed Feedback Channel Design: Discrete Time H infty Approach‏‎ (06:15, 15 May 2016)
  12. Exact Stability Analysis of Discrete-Time Linear Systems with Stochastic Delays‏‎ (06:15, 15 May 2016)
  13. Protocols for Implementing an Escherichia coli Based TX-TL Cell-Free Expression System for Synthetic Biology‏‎ (06:15, 15 May 2016)
  14. Linear DNA for rapid prototyping of synthetic biological circuits in an Escherichia coli based TX-TL cell-free system‏‎ (06:15, 15 May 2016)
  15. Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications‏‎ (06:15, 15 May 2016)
  16. Moving bounding boxes and incremental synthesis for dynamic obstacles‏‎ (06:15, 15 May 2016)
  17. Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed‏‎ (06:15, 15 May 2016)
  18. Optimal Control of Nonlinear Systems with Temporal Logic Specifications‏‎ (06:15, 15 May 2016)
  19. A robust model predictive control algorithm augmented with a reactive safety mode‏‎ (06:15, 15 May 2016)
  20. Automaton-Guided Controller Synthesis for Nonlinear Systems with Temporal Logic‏‎ (06:15, 15 May 2016)
  21. Modeling Environmental Disturbances with the Chemical Master Equation‏‎ (06:15, 15 May 2016)
  22. Optimal Control of Non-deterministic Systems for a Computationally Efficient Fragment of Temporal Logic‏‎ (06:15, 15 May 2016)
  23. Temperature Dependence of Biomolecular Circuit Designs‏‎ (06:15, 15 May 2016)
  24. Dynamic State Estimation in Distributed Aircraft Electric Control Systems via Adaptive Submodularity‏‎ (06:15, 15 May 2016)
  25. Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication‏‎ (06:15, 15 May 2016)
  26. Stability of Discrete Time Systems with Stochastically Delayed Feedback‏‎ (06:15, 15 May 2016)
  27. A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems‏‎ (06:15, 15 May 2016)
  28. An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols‏‎ (06:15, 15 May 2016)
  29. Pre-orders for Reasoning about Input-to-State Stability Properties of Hybrid Systems‏‎ (06:15, 15 May 2016)
  30. Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems‏‎ (06:15, 15 May 2016)
  31. Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids‏‎ (06:15, 15 May 2016)
  32. Just-in-time synthesis for motion planning with temporal logic‏‎ (06:15, 15 May 2016)
  33. Efficient reactive controller synthesis for a fragment of linear temporal logic‏‎ (06:15, 15 May 2016)
  34. Patching task-level robot controllers based on a local μ-calculus formula‏‎ (06:15, 15 May 2016)
  35. Motion planning in observations space with learned diffeomorphism models‏‎ (06:15, 15 May 2016)
  36. Synthesis of Reactive Switching Protocols from Temporal Logic Specifications‏‎ (06:15, 15 May 2016)
  37. Robot Navigation in Dense Human Crowds: the Case for Cooperation‏‎ (06:15, 15 May 2016)
  38. Optimal Control with Weighted Average Costs and Temporal Logic Specifications‏‎ (06:15, 15 May 2016)
  39. Reactive Protocols for Aircraft Electric Power Distribution‏‎ (06:15, 15 May 2016)
  40. Performance Metrics for a Biomolecular Step Response‏‎ (06:15, 15 May 2016)
  41. Bisimulations for Reasoning about Input-to-State Stability Properties of Hybrid Systems‏‎ (06:15, 15 May 2016)
  42. Synthesis of Reactive Control Protocols for Differentially Flat Systems‏‎ (06:15, 15 May 2016)
  43. Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation‏‎ (06:15, 15 May 2016)
  44. Stabilization of Feedback Systems via Distribution of Delays‏‎ (06:15, 15 May 2016)
  45. Extremal Properties of Complex Networks‏‎ (06:15, 15 May 2016)
  46. On Synthesizing Robust Discrete Controllers under Modeling Uncertainty‏‎ (06:15, 15 May 2016)
  47. Synthesis of Switching Protocols from Temporal Logic Specifications‏‎ (06:15, 15 May 2016)
  48. Parametric Delay-margin Maximization of Consensus Network Using Local Control Scheme‏‎ (06:15, 15 May 2016)
  49. Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications‏‎ (06:15, 15 May 2016)
  50. Delay-Based Approximations of Biological Systems for Analysis and Design‏‎ (06:15, 15 May 2016)

View ( | ) (20 | 50 | 100 | 250 | 500)