Chess Open House, February 11, 2010

Location: 540 A/B and 545, Cory Hall

Time: 12:45pm - 3:00pm

CHESS presented posters and demonstrations that focus on the model-based and tool-supported design methodologies for real-time fault tolerant software on heterogeneous distributed platforms. We covered areas such as:

• Modeling, simulation, and design of concurrent, real-time, embedded systems. (Edward A. Lee)
  • Compositional Dataflow
  • Interfaces for Component-Based Design
  • Modular Code Generation
  • Precision Timed (PRET) Machines which deliver high performance, but not at the expense of timing predictability.
  • Programming Temporally Integrated Distributed Embedded Systems (PTIDES)
  • Ptolemy II--Heterogeneous Concurrent Modeling and Design in Java
• Design methodologies and tools for wireless sensor networks, embedded systems, hybrid systems, and electronic design automation, such as algorithms and techniques to support the computer-aided design and optimization of complex hardware and software systems. (Alberto Sangiovanni-Vincentelli)
  • Platform-based Mixed-Signal System Design
  • A System-Level Design Methodology for Fault Tolerant Automotive Systems
• Embedded and autonomous software, computer vision, and computation in novel substrates such as DNA, nonlinear and adaptive control, robotic telesurgery, control of hybrid systems, embedded systems, sensor networks and biological motor control. (S. Shankar Sastry)
  • 3D Motion Planning for Steerable Needles Using Inverse Kinematics and Numerical Optimization
  • A Descent Algorithm for the Optimal Control of Constrained Nonlinear Switched Dynamical Systems
  • Body net sensors
  • CITRIC: A Low-bandwidth Wireless Camera Network Platform (CITRIC)
  • Compressed Domain Real-time Action Recognition
  • On the Perpetual Collision-Free RHC of Fleets of Vehicles
  • Reachability Calculations for Automated Aerial Refueling
  • Unsupervised Content-Based Organization of Large Collections of Activity Videos
• Algorithmic techniques for system verification, dependability, and security. (Sanjit Seshia)
  • A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance
  • Game-Theoretic Timing Analysis
  • Hierarchy of Finite Simulations of Lazy Linear Hybrid Automata
  • Information Flow Security
  • Satisfiability Modulo Theories (SMT)
  • Verification-Guided Error Resilience (VGER)
  • Word-Level Verification of Hardware Designs Using Selective Term-Level Abstraction
• Hybrid Control Systems, Air Traffic Control Automation, Algorithms for Decentralized Optimization, Modeling and Analysis of Biological Cell Networks (Claire Tomlin) Demos to occur on the 7th floor of Sutardja Dai Hall
  • A Descent Algorithm for the Optimal Control of Constrained Nonlinear Switched Dynamical Systems
  • A Dynamic Programming Approach for Aircraft Conflict Detection
  • Body net sensors
  • Modeling and Analysis of Cell Differentiation using Hybrid Systems
  • Optimal control of switched nonlinear dynamical systems
  • Path Planning and Control of Aircraft with Uncertain Weather Constraints
  • Reachability Calculations for Automated Aerial Refueling
  • Safety and Reachability in Switched Nonlinear Systems Under Sampling and Quantization
  • Statistical System Identification
  • Topology Based Control of Genetic Regulatory Networks
  • Trajectory Optimization in Convex Underapproximations of Safe Regions
  • Using Control Theory to Make Safety Guarantees About Learned Dynamics and Behaviors