*banner
 
Margin Top
Margin Bottom

Chess Open House, February 10

The BEARS Center for Hybrid and Embedded Software Systems (CHESS) Open House was held on Thursday, February 10, 2005


Keynote:

  • Embedded Software: Building the Foundations PDF PPT Edward A. Lee, February 10, 2005, BEARS Conference, Berkeley EECS Annual Research Symposium, Berkeley, CA.

  • Demonstrations:

  • Ptolemy - Heterogeneous Modeling and Design of Complex Systems (Rachel Zhou, Edward A. Lee)
  • Posters:

    Tools

  • "Ptolemy - Heterogenous Modeling and Design of Complex Systems" (Rachel Zhou, Edward A. Lee)
  • "Metropolis - Design Environment for Heterogeneous Systems" (Abhijit Davare, Alberto Sangiovanni-Vincentelli), given as part of the GSRC Open House.
  • "Kepler: Application of Ptolemy II to Scientific Workflows" (Yang Zhao, Edward A. Lee)
  • Applications (Automotive and Robotics)

  • "Automotive Design Space Exploration in Metropolis" (Haibo Zeng, Alberto Sangiovanni-Vincentelli)
  • "Automatic Transmission Modeling and Powertrain Control Applications" (H. Hur, Takashi Nagata, K. Kaga, and Masayoshi Tomizuka)
  • "Cellular Neural Network Based Central Pattern Generators for Bipedal Walkers" (Bharathwaj Muthuswamy)
  • "Model-Based Optimization for Automotive Cold Start Application" (Pannag Sanketi, Karl Hedrick)
  • Applications (UAVs and Aircraft)

  • "Soft Walls" (J. Adam Cataldo)
  • "Model-based design for safe UAV landing" (Jonathan Sprinkle, J. Mikael Eklund, Shankar Sastry)
  • "The time-triggered embedded control software design for Unmanned Aerial Vehicles using Giotto" (Jongho Lee, Shankar Sastry)
  • Applications (Sensor Networks)

  • "Viptos: A Graphical Development and Simulation Environment for TinyOS-based Wireless Sensor Networks" (Elaine Cheong, Edward A. Lee)
  • "Intersensor Modeling for Sensor Network Data Streams" (Farinaz Koushanfar, Alberto Sangiovanni-Vincentelli)
  • Hybrid Systems, Discrete Systems, Continuous Systems

  • "Blowing Up Hybrid Systems" (Aaron D. Ames, Shankar Sastry)
  • "Stochastic Approximations of Deterministic Hybrid Systems" (Alessandro Abate, Shankar Sastry)
  • "Piecewise Continuous Signals in Hybrid Systems" (Haiyang Zheng, Edward A. Lee)
  • "Ordinal Discrete-Event Systems" (Eleftherios Matsikoudis, Edward A. Lee)
  • "Kahn's Principle and the Semantics of Discrete Event Systems" (Xiaojun Liu, Edward A. Lee)
  • "Reach Set Computation: Ellipsoidal Toolbox" (Alex Kurzhanskiy, Pravin Varaiya)
  • Modeling and Computation

  • "Performance Modeling and Built-in Logic of Constraints in Metropolis" (Guang Yang, Alberto Sangiovanni-Vincentelli)
  • "Extensible and Scalable Time Triggered Scheduling" (Wei Zheng, Alberto Sangiovanni-Vincentelli)
  • "Verifying Safety Properties in Assembly Code without Compiler Support" (Matt Harren, George Necula)
  • "Dynamic Dataflow Modeling in Ptolemy II" (Gang Zhao, Edward A. Lee)
  • "FPGA Architecture Modeling in Metropolis" (Doug Densmore, Alberto Sangiovanni-Vincentelli)
  • "Automatic Fault Tree Generation for Hardware/Software Mappings with Redundancy" (Gabriel Eirea, Mark McKelvin, Alberto Sangiovanni-Vincentelli)
  • "Multiprocessor Platforms for Network Applications" (Will Plishker, Kaushik Ravindran, Kurt Keutzer)
  • "Composable Code Generation for Distributed Giotto" (Slobodan Matic, Tom Henzinger)
  • "Prospector: A Sample Code Search Engine for Complex APIs" (Dave Mandelin, Ras Bodik)
  • "Behavioral types for component-based software systems" (Arindam Chakrabarti, Tom Henzinger)
  • ©2002-2018 Chess