Pages with the fewest revisions

Showing below up to 50 results in range #351 to #400.

351. Efficient control synthesis for augmented finite transition systems with an application to switching protocols (1 revision)
352. CDS 90, 2006-07 (1 revision)
353. James Hindley (1 revision)
354. On Quantized Consensus by Means of Gossip Algorithm -- Part I: Convergence Proof (1 revision)
355. CDS 90 2011-12 (1 revision)
356. CDS 90 2012-13 (1 revision)
357. Just-in-time synthesis for motion planning with temporal logic (1 revision)
358. CDS 90 2022-23 (1 revision)
359. Kalman Filtering Over A Packet Dropping Network: A Probabilistic Perspective (1 revision)
360. Flight dynamics and control of evasive maneuvers: the fruit fly's takeoff (1 revision)
361. Differential Flatness of Mechanical Control Systems: A Catalog of Prototype Systems (1 revision)
362. Metabolic engineering of Pseudomonas putida for production of vanillylamine from lignin-derived substrates (1 revision)
363. Evaluation of Bleed Valve Rate Requirements in Nonlinear Control of Rotating Stall (1 revision)
364. On Decentralized Classification using a Network of Mobile Sensors (1 revision)
365. CDS research areas (1 revision)
366. On Synthesizing Robust Discrete Controllers under Modeling Uncertainty (1 revision)
367. CMI 2006 workshop (1 revision)
368. On a Decentralized Active Sensing Strategy using Mobile Sensor Platforms in a Network (1 revision)
369. Experimental Comparison of Trajectory Trackers for a Car with Trailers (1 revision)
370. Nonlinear Lateral Control Strategy for Nonholonomic Vehicles (1 revision)
371. Controller postion on page 3 of lecture notes. (1 revision)
372. Honeywell 2005-10-26 (1 revision)
373. CS-EE-ME 75 Fall 2010 Final Report (1 revision)
374. Optimization-Based Navigation for the DARPA Grand Challenge (1 revision)
375. On a Cooperative Pursuit Strategy (1 revision)
376. On a Stochastic Sensor Selection Algorithm with Applications in Sensor Scheduling and Sensor Coverage (1 revision)
377. Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions (1 revision)
378. How do equations given for dynamics on slide 10 relate to the state-space setup we used before? (1 revision)
379. Outer flatness: trajectory generation for a model helicopter (1 revision)
380. Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order (1 revision)
381. Lecture notes week 7 (1 revision)
382. Online Horizon Selection in Receding Horizon Temporal Logic Planning (1 revision)
383. CS-EE-ME 75 Winter 2011 Final Report (1 revision)
384. Limits on the network sensitivity function for multi-agent systems on a graph (1 revision)
385. Linear DNA for rapid prototyping of synthetic biological circuits in an Escherichia coli based TX-TL cell-free system (1 revision)
386. Optimal Control with Weighted Average Costs and Temporal Logic Specifications (1 revision)
387. Formal Verification of an Autonomous Vehicle System (1 revision)
388. HW8 Problem 3 (1 revision)
389. Communication and sensing trade-offs in cooperative mobile networks (1 revision)
390. Patching task-level robot controllers based on a local μ-calculus formula (1 revision)
391. Cooperative Control of Multi-Vehicle Systems using Cost Graphs and Optimization (1 revision)
392. Compositional stability analysis based on dual decomposition (1 revision)
393. HW8 Problem 1 Hints (1 revision)
394. Primitives for Human Motion: A Dynamical Approach (1 revision)
395. Engineering Transcriptional Regulator Effector Specificity Through Rational Design and Rapid Prototyping (1 revision)
396. Pre-orders for Reasoning about Stability Properties with respect to Input of Hybrid Systems (1 revision)
397. CS 142, Fall 2017 (1 revision)
398. Characterizing the Effects of Air Injection on Compressor Performance for Use in Active Control of Rotating Stall (1 revision)
399. Grasping with Flexible Link Fingers: An Initial Study (1 revision)
400. Hw5 ex3.c - choice of rho (1 revision)