*banner
 
 
Welcome to the Chess Website
home
about
people
pubs
 
 
 
 
 
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