| Paper Code | Title | Authors | Topic |
|---|
| We-M12-TO/1 | Analysis and design of discretely controlled switched positive systems | Lunze Jan, Kamau S. I. | 1.3 |
| We-M12-TO/2 | Synthesis of Supervisory Controllers for Hybrid Systems Using Abstraction Refinement | Stursberg Olaf | 1.3 |
| We-M12-TO/3 | Hierarchical hybrid control of a multiproduct batch plant | Moor Thomas, Raisch Joerg | 1.3 |
| We-M12-TO/4 | Hybrid Abstractions of Affine Systems | Gueguen Herve, Lefebvre Marie-Anne | 1.3 |
| We-M12-TO/5 | Sampling-Based Planning, Control, and Verification of Hybrid Systems | Branicky Michael S., Curtiss Michael M., Levine Joshua, Morgan Stuart | 1.3 |
| We-M12-TO/6 | Symbolic Temporal Constraint Analysis, An Approach for Verifying Hybrid Systems | Riviere Nicolas, Demmou Hamid, Valette Robert, Medjoudj Malika | 1.3 |
