EECS 290N Project Reports

See also project presentations.

1. A Model of Computation for Sensor Network Application Language
   Alvise Bonivento
2. xGiotto and Schedulability
   Arkadeb Ghosal
3. Ptossim: Simulating TinyOS in Ptolemy II
   Elaine Cheong
4. Medical Imaging Toolkit
   Tiffany Crawford
5. A Platform Based Design Flow for Kahn Process Networks
   Abhijit Davare and Qi Zhu
6. A Schedulability-Preserving Transformation of Boolean Dataflow Networks to Petri Nets
   Cong Liu
7. Kahn’s Principle and the Semantics of Discrete Event Systems
   Xiaojun Liu
8. Design of Fault Tolerant Data Flow in Ptolemy II
   Mark McKelvin
9. New Synthesis Flow of Communicating Processes Using Architectural Compiler (removed at the request of Cadence)
   Gerald Wang
10. On Generating Safe Controllers for Discrete-Time Linear Systems
    Adam Cataldo
11. Modeling and Simulating Discrete Event Systems in Metropolis
    Guang Yang
12. Implementing Metropolis Quantity Managers in Ptolemy II
    Haibo Zeng
13. Distributed Execution of Ptolemy Models
    Yang Zhao and Thomas H. Feng
14. Timed Simulation with Multiple Resource Schedulability Analysis
    Yang Zhao and Slobodan Matic
15. Compositionality Analysis With Function Dependency
    Haiyang Zheng and Rachel Zhou
16. Toward a Denotational Semantics for Discrete Event Systems
    Eleftherios D. Matsikoudis