1. Dynamic Scheduling for Network Control Systems., In preparation, With  Sebastian Fischmeister, Madhukar Anand and  Rajeev Alur.

  2. RTComposer: A Framework for Real-Time Components with Scheduling Interfaces., International Conference on Embedded Software, EMSOFT 2008, With Rajeev Alur.

  3. Ranking automata and games for prioritized requirements., 20th International Conference on Computer Aided Verification, CAV 2008. With Rajeev Alur and Aditya Kanade.

  4. Regular specifications of resource requirements for embedded control software., In 14th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2008. With Rajeev Alur.

  5. Automata based interfaces for control and scheduling. In Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007. With Rajeev Alur.

  6. A Combinatorial Game Approach to State Nullification by Hybrid Feedback In 46th IEEE Conference on Decision and Control, CDC 2007.

  7. State nullification of switched systems by linear output feedback. In Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007.

  8. State Nullification by Output Feedback. PhD thesis, 2006.

  9. Memoryless output feedback nullification and canonical forms, for time varying systems. Internat. J. Control, 78(15):1174-1181, 2005.

  10. Preservation of controllability of single-input time-varying linear systems under sampling. IEEE Trans. Automat. Control, 50(12):2094-2096, 2005.

  11. State nullification by memoryless output feedback Math. Control Signals Systems, 17(1):38-56, 2005. With Zvi Artstein

  12. Planning a production line with LSCs. IST-2001-33522 OMEGA Project, 2004. With Hillel Kugler.

  13. Some methodological observations resulting from experience using LSCs and the play-in/play-out approach. In Scenarios: Models, Transformations and Tools, 2003. With David Harel and Hillel Kugler.

  14. Optimal scheduler for a memory card. IST-2001-35304 AMETIST Project, 2002.

  15. Stabilization via dynamic output feedback. M.Sc thesis, 2002

 

Online preprints and publications