# Pages without language links

From MurrayWiki

The following pages do not link to other language versions.

Showing below up to **500** results in range #**51** to #**550**.

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

- A bio-plausible design for visual attitude stabilization
- A bio-plausible design for visual pose stabilization
- A bootstrappable bio-plausible design for visual pose stabilization
- A group-theoretic approach to formalizing bootstrapping problems
- A hovercraft robot that uses insect-inspired visual autocorrelation for motion control in a corridor
- A modal interface contract theory for guarded input/output automata with an application in traffic system design
- A population-based temporal logic gate for timing and recording chemical events
- A robust model predictive control algorithm augmented with a reactive safety mode
- A stochastic framework for the design of transient and steady state behavior of biochemical reaction networks
- A typo in equation (6.24).
- Aaron Ames, October 2012
- Academic Ancestry
- Academic Descendants
- Account Information
- Active Control of Integrated Inlet/Compression Systems: Initial Results
- Active Control of Rotating Stall Using Pulsed Air Injection: A Parametric Study on a Low-Speed, Axial Flow Compressor
- Active Control of an Axial Flow Compressor via Pulsed Air Injection
- Addressable, “Packet-Based” Intercellular Communication through Plasmid Conjugation
- Admin/Group members
- Admin/Projects
- Advising meetings, Dec 2013
- Agreement Problems in Networks with Directed Graphs and Switching Toplogy
- Airborne network backbone
- Aircraft models
- Alex Bayen, June 2009
- Alex Mauroy, Nov 2013
- Alex White
- Alice: An information-rich autonomous vehicle for high-speed desert navigation
- Alice: Introduction
- Alice: Path Planning
- Alice: Road Following
- Alice: Vehicle Control
- Am08 errata on cart-pendulum
- An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols
- An Efficient Algorithm for Performance Analysis of Nonlinear Control Systems
- An Estimation Algorithm for a Class of Networked Control Systems Using UDP-Like Communication Schemes
- An Experimental Comparison of Controllers for a Vectored Thrust, Ducted Fan Engine
- An Experimental Comparison of Tradeoffs in Using Compliant Manipulators for Robotic Grasping Tasks
- An In Silico Modeling Toolbox for Rapid Prototyping of Circuits in a Biomolecular “Breadboard” System
- An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis
- An analytical approach to bistable biological circuit discrimination using real algebraic geometry
- An automated model reduction tool to guide the design and analysis of synthetic biological circuits
- Analysis and design of a synthetic transcriptional network for exact adaptation
- Analysis of Delays in Transcriptional Signaling Networks with Time-Varying Temperature-Dependent Rate Coefficients
- Analysis of Dynamics in Escaping Flight Initiation in Drosophila
- Analysis of a Digital Clock for Molecular Computing
- Analysis of primitive genetic interactions for the design of a genetic signal differentiator
- Anandh Swaminathan
- Andrew Halleran
- Andrew Montequin
- Andrey Shur
- Ania Baetica
- Anu Thubagere
- Appealing to a Non-traditional Audience: A New Approach to Teaching Feedback
- Application of Correct-by-Construction Principles for a Resilient Risk-Aware Architecture
- Applications and Extensions of Goursat Normal Form to Control of Nonlinear Systems
- Approximate Distributed Kalman Filtering in Sensor Networks with Quantifiable Performance
- Approximate Trajectory Generation for Differentially Flat Systems with Zero Dynamics
- Approximation of Subnetwork Models using Frequency-Domain Data
- Apr 2010 meetings
- Apr 2017 meeting schedule
- April 2007 Meetings
- Apurva Badithela
- Are the dynamics on slide 10 correct?
- Are there any advances in applying feedback modeling to social systems other than in an economic sense?
- Art Krener, Feb 2016
- Art Krener, Mar 2014
- Aspects of Geometric Mechanics and Control of Mechanical Systems
- Assurance for Learning Enabled Systems
- Asynchronous Distributed Averaging on Communication Networks
- Ather Gattami, Feb 2019
- Ather Gattami, Nov 2010
- Aug 2016 meeting schedule
- August 2006 meeting schedule
- August 2007 Meetings
- Aurelijas lab book
- Automatic Conversion Software for the Safety Verification of Goal-Based Control Programs
- Automatic Synthesis of Robust Embedded Control Software
- Automaton-Guided Controller Synthesis for Nonlinear Systems with Temporal Logic
- Autonomous Driving in Urban Environments: Approaches, Lessons and Challenges
- Autonomous Reorientation of a Manuever-Limited Spacecraft Under Simple Pointing Constraints
- Ayush Pandey
- BE 107, Spring 2015
- BE 107, Spring 2016
- BE 150/Bi 250 Spring 2014
- BE 150/Bi 250 Spring 2014, Project presentation schedule
- BE 150/Bi 250b Winter 2012
- BE 150/Bi 250b Winter 2013
- BE 150/Bi 250b project ideas, Winter 2013
- BE 262 project, 2010
- BFS
- BFS/Model reduction
- BFS GOTChAs, April 2010
- Backtracking temporal logic synthesis for uncertain environments
- Bacteria Design Challenge
- Bacterial Controller Aided Wound Healing: A Case Study in Dynamical Population Controller Design
- Bandwidth command, HW 6
- Bats quickstart
- Ben Johnson, Apr 2014
- Ben Richards, 20 Apr 2018
- Benefits of Flocking
- Bi/BE 250c Winter 2011
- Bifurcation Control of Rotating Stall with Actuator Magnitude and Rate Limits
- Bio
- Bio-Inspired Visuomotor Convergence in Navigation and Flight Control Systems
- Biocircuits subgroup planner
- Biographical Sketch
- Bioligically Inspired Feedback Design for Drosophila Flight
- Biological Circuit Diagrams
- Biomolecular Breadboards for Prototyping and Debugging Synthetic Biocircuits
- Biomolecular Circuits for Rapid Detection and Response to Environmental Events
- Biomolecular Feedback Circuits for Modular, Robust and Rapid Response
- Biomolecular resource utilization in elementary cell-free gene circuits
- Biophysical Constraints Arising from Compositional Context in Synthetic Gene Networks
- Bisimulations for Reasoning about Input-to-State Stability Properties of Hybrid Systems
- Bode Lecture 2016: Future Directions in Control: A Look Backwards and Forwards
- Bootstrapping bilinear models of robotic sensorimotor cascades
- Bootstrapping bilinear models of simple vehicles
- Bozenna Pasik-Duncan, Sep 2017
- CAGEN: Critical Assessment of Genetically Engineered Networks
- CAGEN draft
- CASE 2015 Plenary Talk: Specification and Synthesis for Networked Control Systems with Applications to Autonomous Vehicles
- CDS110a before a Field Test
- CDS210 Problem 4 typo
- CDS 101/110, Fall 2015
- CDS 101/110 - Linear Systems
- CDS 101/110 - MATLAB/SIMULINK Tutorial
- CDS 101/110 Midterm, Fall 2008
- CDS 101/110a, Fall 2006
- CDS 101/110a, Fall 2006 - Course Project
- CDS 101/110a, Fall 2006 - Course Schedule
- CDS 101/110a, Fall 2006 - FAQ
- CDS 101/110a, Fall 2006 - Recitation Schedule
- CDS 101/110a, Fall 2007
- CDS 101/110a, Fall 2007 - Course Schedule
- CDS 101/110a, Fall 2007 - FAQ
- CDS 101/110a, Fall 2008 - Course Schedule
- CDS 101/110a, Fall 2008 - FAQ
- CDS 101/110a, Fall 2008 - Recitation Schedule
- CDS 101/110a, Fall 2012
- CDS 101/110a/210, Fall 2008 - TA Information
- CDS 101/110a - FAQ
- CDS 101 - MATLAB Tutorial
- CDS 101 - SIMULINK Tutorial
- CDS 110, Spring 2018
- CDS 110b, Winter 2006
- CDS 110b, Winter 2007
- CDS 110b, Winter 2007 - Course Schedule
- CDS 110b, Winter 2007 - FAQ
- CDS 110b, Winter 2008 - Course Project
- CDS 110b, Winter 2013
- CDS 110b, Winter 2013 - Course Schedule
- CDS 110b, Winter 2014- Course Material
- CDS 110b, Winter 2014- Course Schedule
- CDS 110b: Control Implementation
- CDS 110b: Course Overview
- CDS 110b: Desgin Examples
- CDS 110b: Introduction to Robust Control
- CDS 110b: Kalman Filtering
- CDS 110b: Linear Quadratic Optimal Control
- CDS 110b: Linear Quadratic Regulators
- CDS 110b: Nonlinear Estimation
- CDS 110b: Norms of Signals and Systems
- CDS 110b: Random Processes
- CDS 110b: Receding Horizon Optimal Control
- CDS 110b: Robust Performance
- CDS 110b: Robust Stability
- CDS 110b: Robustness, fragility, complexity and control
- CDS 110b: State Estimation
- CDS 110b: Stochastic Systems
- CDS 110b: Weighted Sensitivity
- CDS 112,Winter 2015
- CDS 112, Winter 2015 - Course Schedule
- CDS 131, Fall 2018
- CDS 131, Fall 2019
- CDS 140, Winter 2015
- CDS 140a Winter 2011 Homework 1
- CDS 140a Winter 2011 Homework 2
- CDS 140a Winter 2011 Homework 3
- CDS 140a Winter 2011 Homework 4
- CDS 140a Winter 2011 Homework 5
- CDS 140a Winter 2011 Homework 7
- CDS 140a Winter 2011 Homework 8
- CDS 140a Winter 2013 Homework 1
- CDS 140a Winter 2013 Homework 2
- CDS 140a Winter 2013 Homework 3
- CDS 140a Winter 2013 Homework 4
- CDS 140a Winter 2013 Homework 5
- CDS 140a Winter 2013 Homework 6
- CDS 140a Winter 2013 Homework 7
- CDS 140a Winter 2013 Homework 8
- CDS 140a Winter 2014 Homework 1
- CDS 140a Winter 2014 Homework 2
- CDS 140a Winter 2014 Homework 3
- CDS 140a Winter 2014 Homework 4
- CDS 140a Winter 2014 Homework 5
- CDS 140a Winter 2014 Homework 6
- CDS 140a Winter 2014 Homework 7
- CDS 140a Winter 2014 Homework 8
- CDS 140a Winter 2014 Homework 9
- CDS 140a Winter 2015 Homework 1
- CDS 140a Winter 2015 Homework 2
- CDS 140a Winter 2015 Homework 3
- CDS 140a Winter 2015 Homework 4
- CDS 140a Winter 2015 Homework 5
- CDS 140a Winter 2015 Homework 6
- CDS 140a Winter 2015 Homework 7
- CDS 140a Winter 2015 Homework 8
- CDS 140b, Spring 2011
- CDS 140b, Spring 2014
- CDS 140b: Control of Bifurcations and Limit Cycles
- CDS 140b Spring 2011 Lecture Note 1
- CDS 140b Spring 2014 Homework 1
- CDS 140b Spring 2014 Homework 2
- CDS 140b Spring 2014 Homework 3
- CDS 140b Spring 2014 Homework 4
- CDS 140b Spring 2014 Homework 5
- CDS 140b Spring 2014 Homework 6
- CDS 202, Spring 2013
- CDS 202, Winter 2009
- CDS 210 - Stability Analysis
- CDS 212, Homework 1, Fall 2010
- CDS 212, Homework 2, Fall 2010
- CDS 212, Homework 3, Fall 2010
- CDS 212, Homework 4, Fall 2010
- CDS 212, Homework 5, Fall 2010
- CDS 212, Homework 6, Fall 2010
- CDS 212, Homework 7, Fall 2010
- CDS 212, Homework 8, Fall 2010
- CDS 212, Homework 9, Fall 2010
- CDS 212 Fall 2010
- CDS 240, Spring 2016
- CDS 240, Spring 2016: HW 1
- CDS 240, Spring 2016: HW 2
- CDS 240, Spring 2016: HW 3
- CDS 240, Spring 2016: HW 4
- CDS 270-2, Spring 2006
- CDS 270-4, 2010: Bio-Control
- CDS 270-4: Distributed Kalman Filtering
- CDS 270: Information for Lecturers
- CDS 273, Spring 2006
- CDS 90, 2005-06
- CDS 90, 2006-07
- CDS 90, 2008-09
- CDS 90 2010-11
- CDS 90 2011-12
- CDS 90 2012-13
- CDS SURF
- CDS affiliated faculty
- CDS catalog revisions, 2009-10
- CDS course discussion, Apr 2014
- CDS minor
- CDS orientation, 2010
- CDS research areas
- CMI06 Abstracts
- CMI 2006 workshop
- CMI 2006 workshop TODO
- CMS 273, Winter 2019
- CS-EE-ME 75, Fall 2015: Sample GOTChA
- CS-EE-ME 75 Fall 2010 Final Report
- CS-EE-ME 75 Fall 2010 Homework 1
- CS-EE-ME 75 Fall 2010 Homework 2
- CS-EE-ME 75 Fall 2010 Homework 3
- CS-EE-ME 75 Fall 2010 Homework 4
- CS-EE-ME 75 Fall 2015 Homework 1
- CS-EE-ME 75 Fall 2015 Homework 2
- CS-EE-ME 75 Fall 2015 Homework 3
- CS-EE-ME 75 Fall 2015 Homework 4
- CS-EE-ME 75 Spring 2011 Final Report
- CS-EE-ME 75 Winter 2011 Final Report
- CS-EE-ME 75 Winter 2011 Homework 1
- CS-EE-ME 75 Winter 2016 Homework 1
- CS-EE-ME 75 Winter 2016 Homework 2
- CS-EE-ME 75 Winter 2016 Midterm Review
- CS/EE/ME 75, 2006-07
- CS/EE/ME 75, 2006-07 - Course Schedule
- CS/EE/ME 75, 2006-07 - Team overviews
- CS/EE/ME 75, 2010-11
- CS/EE/ME 75, 2010-11 - Course Schedule
- CS/EE/ME 75, 2010-11 - Project Organization
- CS/EE/ME 75, 2015-16
- CS/EE/ME 75, 2015-16 - Course Schedule
- CS/EE/ME 75, 2015-16 - Project Organization
- CS 142, Fall 2017
- CS 142, Fall 2019
- Caltech/AFRL, Spring 2012
- Caltech Multi-Vehicle Wireless Testbed
- Caltech V
- Caltech V&V Workshop
- Caltech Workshop on Verification and Validation
- Caltech directions
- Can I cascade (multiply) transfer functions in MATLAB?
- Can I turn my homework by email (pdf file)?
- Can a Lyapunov function be used to show/prove a system is unstable at an equilibrium point similar to the way it can be used to show asymp stability?
- Can the environment be considered a system state?
- Can we use phaseplot in exercise 2?
- Can we view the controller or the environment as a separate machine with its own state variables?
- Can you explain the axes of the Bode plot better?
- Can you make the graphics bigger so that we can see them?
- Can you recommend a good linear algebra resource?
- Can you speak more slowly?
- Cascade Discrete-Continuous State Estimators for a Class of Monotone Systems
- Catharine (Cat) McGhan
- Cedric Langbort, April 2011
- Cell-Free Expression of Membrane Proteins with Applications to Drug Discovery
- Cell-Free Extract Data Variability Reduction in the Presence of Structural Non-Identifiability
- Cell-free and in vivo characterization of Lux, Las, and Rpa quorum activation systems in E. coli
- Characterization of Insect Flight Control Systems
- Characterization of minimum inducer separation time for a two-input integrase-based event detector
- Characterizing and Prototyping Genetic Networks with Cell-Free Transcription-Translation Reactions
- Characterizing the Effects of Air Injection on Compressor Performance for Use in Active Control of Rotating Stall
- Chelsea Hu
- Chelsea Hu, Apr 2018
- Cheng-Zong Bai, Apr 2014
- Chris Mentzel, April 2016
- Chris Warner, 15 Jan 2013
- Clare Hayes
- Classification of Human Motion into Dynamics Based Primitives with Application to Drawing Tasks
- Coarse analysis of multiscale systems: diffuser flows, charged particle motion, and connections to averaging theory
- Colin Jones, Nov 08
- Collaborative System Identification via Parameter Consensus
- Combined Air Injection Control of Rotating Stall and Bleed Valve Control of Surge
- Communication and Sensing Trade-Offs in Decentralized Mobile Sensor Networks: A Cross-Layer Design Approach
- Communication and sensing trade-offs in cooperative mobile networks
- Compiling Player Code
- Compositional stability analysis based on dual decomposition
- Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems
- Cone Invariance and Rendezvous of Multiple Agents
- Cone invariance and rendezvous of multiple agents
- Configuration Controllability of Simple Mechanical Control Systems
- Configuration Flatness of Lagrangian Systems Underactuated by One Control
- Connected Cruise Control Design Using Probabilistic Model Checking
- Connections II
- Connections II Participants
- Connections II accomodations
- Connections II travel
- Consensus Problem and Algorithms
- Consensus Protocols for Networks of Dynamic Agents
- Consensus Seeking Using Multi-Hop Relay Protocol
- Consensus and Cooperation in Networked Multi-Agent Systems
- Consensus problems in networks of agents with switching topology and time-delays
- Constrained Trajectory Generation for Microsatellite Formation Flying
- Contracts of Reactivity
- Control Design for Cyberphysical Systems Using Slow Computing
- Control Over a Network: Using Actuation Buffers to Reduce Transmission Frequency
- Control Over a Packet Dropping Network with Norm Bounded Uncertainties
- Control Primitives for Robot Systems
- Control Program Verification for a Sample Titan Aerobot Mission
- Control System Analysis on Symmetric Cones
- Control Systems Library for Python
- Control Theory for Synthetic Biology: Recent Advances in System Characterization, Control Design, and Controller Implementation for Synthetic Biology
- Control design for hybrid systems with TuLiP: The temporal logic planning toolbox
- Control of Rotating Stall in a Low-Speed Axial Flow Compressor Using Pulsed Air Injection: Modeling, Simulations, and Experimental Validation
- Control of bacterial population density with population feedback and molecular sequestration
- Control of density and composition in an engineered two-member bacterial community
- Control on the Sphere and Reduced Attitude Stabilization
- Controller Synthesis for Constrained Flight Systems via Receding Horizon Optimization
- Controller postion on page 3 of lecture notes.
- Controlling biological networks by time-delayed signals
- Convergence Properties of Dynamic Agents Consensus Networks with Broken Links
- Conversion and Verification Procedure for Goal-Based Control Programs
- Converting Smooth, Time-Varying, Asymptotic Stabilizers for Driftless Systems to Homogeneous, Exponential Stabilizers
- Convex Optimal Uncertainty Quantification
- Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids
- Cooperation Enhances Robustness of Coexistence in Spatially Structured Consortia
- Cooperative Communications and Control
- Cooperative Control of Multi-Vehicle Systems using Cost Graphs and Optimization
- Cooperative Task Planning of Multi-Robot Systems with Temporal Constraints
- Cooperative and Coordinated Control Scheme for Multi-Agent Systems
- Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
- Could we move office hours?
- Could you give a precise definition for "Control Law"?
- Could you please make it clear what is an 'A' and what is a 'Lambda' (matrix)?
- Courses
- Cross-entropy Temporal Logic Motion Planning
- DARPA Grand Challenge Follow-On
- DGC75 GOTChA Chart
- DGC75 Status Chart
- DGC75 Timeline Chart
- DGC Follow-On Discussion Notes 2005-11-23
- Daimler Chrysler 2006-04-10
- Daniel Fremont, Sep 2018
- Data Transmission over Networks for Estimation
- Data Transmission over Networks for Estimation and Control
- David Hill, Dec 08
- David Thorsley, April 2008
- Dec 2011 meetings
- December 2007 Meetings
- Decentralised minimal-time dynamic consensus
- Decentralized Multi-Agent Optimization via Dual Decomposition
- Decomposing GR(1) Games with Singleton Liveness Guarantees for Efficient Synthesis
- Decomposition of Human Motion into Dynamics Based Primitives with Application to Drawing Tasks
- Decompositions for Control Systems on Manifolds with an Affine Connection
- Delay-Based Approximations of Biological Systems for Analysis and Design
- Delay-Based Controller Design for Continuous-Time and Hybrid Applications
- Delay-dependent Stability of Genetic Regulatory Networks
- Dennis Bernstein, Jan 2014
- Design Guidelines For Sequestration Feedback Networks
- Design Space Exploration of the Violacein Pathway in Escherichia coli Based Cell-Free System
- Design and Implementation of a Biomolecular Circuit for Tracking Protein Concentration
- Design and application of stationary phase combinatorial promoters
- Design and implementation of a synthetic biomolecular concentration tracker
- Design and performance of in vitro transcription rate regulatory circuit
- Design of a Toolbox of RNA Thermometers
- Design of a genetic layered feedback controller in synthetic biological circuitry
- Design of insulating devices for in vitro synthetic circuits
- Designing Robustness to Temperature in a Feedforward Loop Circuit
- Developing Standardized Cell-Free Platforms for Rapid Prototyping of Synthetic Biology Circuits and Pathways
- Differential Flatness and Absolute Equivalence of Nonlinear Control Systems
- Differential Flatness of Mechanical Control Systems: A Catalog of Prototype Systems
- Differential Flatness of Two One-Forms in Arbitrary Number of Variables
- Differential equations and dynamical systems courses
- Differentially Flat Nonlinear Control Systems
- Differentially Flat Systems with Inequality Constraints: An Approach to Real-Time Feasible Trajectory Generation
- Discrete Function Approximation: Numerical Tools for Nonlinear Control
- Discrete State Estimators for Systems on a Lattice
- Discrete State Estimators for a Class of Nondeterministic Hybrid Systems on a Lattice
- Dissecting microbiome-gut-brain circuits for microbial modulation of host cognition in response to diet and stress
- Distributed Averaging on Asynchronous Communication Networks
- Distributed Computation for Cooperative Control
- Distributed Cooperative Control of Multiple Vehicle Formations Using Structural Potential Functions
- Distributed Estimation
- Distributed Gradient Systems and Dynamic Coordination
- Distributed Mission and Contingency Management for the DARPA Urban Challenge
- Distributed Power Allocation for Vehicle Management Systems
- Distributed Receding Horizon Control
- Distributed Receding Horizon Control with Applications to Multi-Vehicle Formation Stabilization
- Distributed Sense and Control Systems
- Distributed Sensor Fusion Using Dynamic Consensus
- Distributed Structural Stabilization and Tracking for Formations of Dynamic Multi-Agents
- Distributed Synthesis of Control Protocols for Smart Camera Networks
- Distributed estimation and control
- Do I need to turn in a block diagram of my PI controller for problem 2?
- Do complex matrices also have a Jordan canonical form?
- Do we always need to know everything about the states? The Segway example sort of suggests not.
- Do we have to bring our laptop with Matlab installed for Friday's Matlab tutorial?
- Do we have to consider complex states when trying to find equilibrium points analytically?
- Does lim (t to infty) E(x-x hat) = 0 imply that there will be less disturbance over time?
- Does my Simulink model need to change gears?
- Does pole zero cancellation happen and is it useful?
- Domitilla Del Vecchio, June 2008
- Douglas Griffith, 8 Dec 2014
- Dynamic Consensus for Mobile Networks
- Dynamic Separation Control in a Low-Speed Asymmetric Diffuser with Varying Downstream Boundary Condition
- Dynamic State Estimation in Distributed Aircraft Electric Control Systems via Adaptive Submodularity
- Dynamical Models for Control of Cavity Oscillations
- Dynamics and Stability of Low Reynolds Number Swimming Near a Wall
- Dynamics and stability of a class of low Reynolds number swimmers near a wall
- EECI08: Case Study - Autonomous Driving
- EECI08: Distributed Estimation and Control
- EECI08: Distributed Protocols and CCL
- EECI08: Embedded Systems Programming
- EECI08: Formation Control in Multi-Agent Systems
- EECI08: Future Directions and Open Problems
- EECI08: Implementation Examples
- EECI08: Information Flow and Consensus
- EECI08: Introduction to Networked Control Systems
- EECI08: Optimization-Based Control
- EECI08: Packet-Based Estimation and Control
- EECI08: State Estimation and Sensor Fusion
- EECI08: State Estimation on Lattices
- EECI08: Trajectory Generation and Differential Flatness
- EECI09: Cooperative control
- EECI09: Distributed control
- EECI09: Distributed estimation and sensor fusion
- EECI09: Distributed protocols and verification
- EECI09: Estimation over networks
- EECI09: Future directions and open problems
- EECI09: Graph theory
- EECI09: Information patterns
- EECI09: Introduction to Networked Control Systems
- EECI09: Jump linear Markov processes
- EECI09: Optimization-based control
- EECI09: Packet loss, delays and shock absorbers
- EECI09: Quantization and bandwidth limits
- EECI09: Review of information theory and communications
- EECI 2012: Algorithmic Verification of Hybrid Systems
- EECI 2012: Automata Theory
- EECI 2012: Computer Session: Spin
- EECI 2012: Computer Session: TuLiP
- EECI 2012: Deductive Verification of Hybrid Systems
- EECI 2012: Extensions, Applications, Open Questions
- EECI 2012: Hybrid Systems Verification
- EECI 2012: Introduction: Protocol-Based Control Systems
- EECI 2012: Model Checking and Logic Synthesis
- EECI 2012: Receding Horizon Temporal Logic Planning
- EECI 2012: Synthesis of Reactive Control Protocols
- EECI 2012: Temporal Logic
- EECI 2012: Verification of Control Protocols
- EECI 2013: Advanced Topics
- EECI 2013: Algorithmic Verification of Hybrid Systems
- EECI 2013: Automata Theory
- EECI 2013: Computer Session: Spin
- EECI 2013: Computer Session: TuLiP
- EECI 2013: Deductive Verification of Hybrid Systems
- EECI 2013: Introduction: Protocol-Based Control Systems
- EECI 2013: Model Checking
- EECI 2013: Receding Horizon Temporal Logic Planning
- EECI 2013: Summary and Open Questions
- EECI 2013: Synthesis of Reactive Control Protocols