Oldest pages

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

951. Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution‏‎ (06:15, 15 May 2016)
952. System identification of phosophorylation based insulator in a cell-free in vitro transcription-translation system‏‎ (06:15, 15 May 2016)
953. Implementation And Simulation Of Phosphorylation-Based Insulator In Transcription-Translation Platform‏‎ (06:15, 15 May 2016)
954. Analysis of Delays in Transcriptional Signaling Networks with Time-Varying Temperature-Dependent Rate Coefficients‏‎ (06:15, 15 May 2016)
955. Negative autoregulation matches production and demand in synthetic transcriptional networks‏‎ (06:15, 15 May 2016)
956. Efficient control synthesis for augmented finite transition systems with an application to switching protocols‏‎ (06:15, 15 May 2016)
957. Collaborative System Identification via Parameter Consensus‏‎ (06:15, 15 May 2016)
958. Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information‏‎ (06:15, 15 May 2016)
959. A Scalable Formulation for Engineering Combination Therapies for Evolutionary Dynamics of Disease‏‎ (06:15, 15 May 2016)
960. A Compositional Approach to Stochastic Optimal Control with Temporal Logic Specifications‏‎ (06:15, 15 May 2016)
961. Time-Delayed Feedback Channel Design: Discrete Time H infty Approach‏‎ (06:15, 15 May 2016)
962. Exact Stability Analysis of Discrete-Time Linear Systems with Stochastic Delays‏‎ (06:15, 15 May 2016)
963. Protocols for Implementing an Escherichia coli Based TX-TL Cell-Free Expression System for Synthetic Biology‏‎ (06:15, 15 May 2016)
964. Linear DNA for rapid prototyping of synthetic biological circuits in an Escherichia coli based TX-TL cell-free system‏‎ (06:15, 15 May 2016)
965. Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications‏‎ (06:15, 15 May 2016)
966. Moving bounding boxes and incremental synthesis for dynamic obstacles‏‎ (06:15, 15 May 2016)
967. Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed‏‎ (06:15, 15 May 2016)
968. Optimal Control of Nonlinear Systems with Temporal Logic Specifications‏‎ (06:15, 15 May 2016)
969. A robust model predictive control algorithm augmented with a reactive safety mode‏‎ (06:15, 15 May 2016)
970. Automaton-Guided Controller Synthesis for Nonlinear Systems with Temporal Logic‏‎ (06:15, 15 May 2016)
971. Modeling Environmental Disturbances with the Chemical Master Equation‏‎ (06:15, 15 May 2016)
972. Optimal Control of Non-deterministic Systems for a Computationally Efficient Fragment of Temporal Logic‏‎ (06:15, 15 May 2016)
973. Temperature Dependence of Biomolecular Circuit Designs‏‎ (06:15, 15 May 2016)
974. Dynamic State Estimation in Distributed Aircraft Electric Control Systems via Adaptive Submodularity‏‎ (06:15, 15 May 2016)
975. Synthesis of Reactive Protocols for Vehicle-to-Vehicle Communication‏‎ (06:15, 15 May 2016)
976. Stability of Discrete Time Systems with Stochastically Delayed Feedback‏‎ (06:15, 15 May 2016)
977. A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems‏‎ (06:15, 15 May 2016)
978. An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols‏‎ (06:15, 15 May 2016)
979. Pre-orders for Reasoning about Input-to-State Stability Properties of Hybrid Systems‏‎ (06:15, 15 May 2016)
980. Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems‏‎ (06:15, 15 May 2016)
981. Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids‏‎ (06:15, 15 May 2016)
982. Just-in-time synthesis for motion planning with temporal logic‏‎ (06:15, 15 May 2016)
983. Efficient reactive controller synthesis for a fragment of linear temporal logic‏‎ (06:15, 15 May 2016)
984. Patching task-level robot controllers based on a local μ-calculus formula‏‎ (06:15, 15 May 2016)
985. Motion planning in observations space with learned diffeomorphism models‏‎ (06:15, 15 May 2016)
986. Synthesis of Reactive Switching Protocols from Temporal Logic Specifications‏‎ (06:15, 15 May 2016)
987. Robot Navigation in Dense Human Crowds: the Case for Cooperation‏‎ (06:15, 15 May 2016)
988. Optimal Control with Weighted Average Costs and Temporal Logic Specifications‏‎ (06:15, 15 May 2016)
989. Reactive Protocols for Aircraft Electric Power Distribution‏‎ (06:15, 15 May 2016)
990. Performance Metrics for a Biomolecular Step Response‏‎ (06:15, 15 May 2016)
991. Bisimulations for Reasoning about Input-to-State Stability Properties of Hybrid Systems‏‎ (06:15, 15 May 2016)
992. Synthesis of Reactive Control Protocols for Differentially Flat Systems‏‎ (06:15, 15 May 2016)
993. Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation‏‎ (06:15, 15 May 2016)
994. Stabilization of Feedback Systems via Distribution of Delays‏‎ (06:15, 15 May 2016)
995. Extremal Properties of Complex Networks‏‎ (06:15, 15 May 2016)
996. On Synthesizing Robust Discrete Controllers under Modeling Uncertainty‏‎ (06:15, 15 May 2016)
997. Synthesis of Switching Protocols from Temporal Logic Specifications‏‎ (06:15, 15 May 2016)
998. Parametric Delay-margin Maximization of Consensus Network Using Local Control Scheme‏‎ (06:15, 15 May 2016)
999. Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications‏‎ (06:15, 15 May 2016)
1000. Delay-Based Approximations of Biological Systems for Analysis and Design‏‎ (06:15, 15 May 2016)