Alessandro Abate

alt text 

Assistant Professor

Delft Center for Systems and Control
TU Delft – Delft University of Technology

News

  • ECC 2013 Pre-Conference Workshop on Stochastic hybrid systems

  • I'm in the process of joining the Department of Computer Science at the University of Oxford in Spring 2013 as a University Lecturer

  • Honorable mention (2nd place) at HSCC13 for the article ‘‘Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems’’

  • LCCC Workshop on Formal Verification of Embedded Control Systems

  • January 2013: The VeriSiMPL toolbox (developed with D. Adzkiya) is on Sourceforge

  • 1st IEEE International Conference on Cyber-Physical Systems, Networks, and Applications - CPSNA 2013 - TPC

  • 4th International Workshop on Dependable Control of Discrete Systems - DCDS 2013, cfp - IPC

  • 21st Mediterranean Conference on Control and Automation - MED 2013 - IPC

  • 15th International Conference on Hybrid Systems: Computation and Control - HSCC 2013 - IPC

  • European FP7 project: ‘‘Advanced Building Diagnosis and Maintenance’’ to start in 2013

alt text 
  • 2012 TU Delft iGEM team reaches world jamboree at MIT. Read about the work here

  • October 2012: Advanced Course Metabolomics for Microbial Systems Biology

  • Ac.Yr. 2012/13, 1e Sem, Q1 - SC 4026: Control Systems Design (link to class)

  • Summer 2012: VeriSiMPL released, a software for Verification via biSimulations of Max-Plus Linear Models (with D. Adzkiya), link

  • TU Delft Students: new course Probabilistic Models in the Life Sciences, 2e Sem, Q4 (Spring 2012). Here is a flyer and a link to class

  • Ac.Yr. 2011/12, 2e Sem, Q3 - SC 4070: Control Systems Lab (link to class)

  • 20th Mediterranean Conference on Control and Automation - MED 2012 - IPC

  • 4th IFAC Conference on Analysis and Design of Hybrid Systems - ADHS 2012 - Pub Chair and IPC

  • 15th International Conference on Hybrid Systems: Computation and Control - HSCC 2012 - IPC

  • van Gogh grant (FR/NL Academie), on a project with INRIA Rocquencourt (dr. G. Batt)

  • October 2011: Advanced Course Metabolomics for Microbial Systems Biology

  • Ac.Yr. 2011/12, 1e Sem, Q1 - SC 4026: Control Systems Design (link to class)

alt text 
  • TU Delft 2011 iGEM team at work here

  • European FP7 project: ‘‘Modelling, verification and control of complex systems: From foundations to power network applications’’ - MoVeS webpage, call

  • 3mE Students: join the 2011 TU Delft iGEM team. Enroll in SCP4580 for more info. Here is a flyer

  • FP7 NoE HYCON 2

  • 19th Mediterranean Conference on Control and Automation - MED 2011 - IPC

  • Lecture at HAS’11, by ETAPS 2011

  • Lecture at ‘‘AVACS meets Control workshop,’’ Sept 28, 2010

  • 3rd International Workshop on Dependable Control of Discrete Systems - DCDS 2011 - IPC

  • Ac.Yr. 2010/11, 1e Sem, Q1 - SC 4026: Control Systems Design (link to class)

  • TU Delft MSc Students: on this page you can find a list of topics for Master Projects

  • October 2010: Advanced Course Metabolomics for Microbial Systems Biology. Here's a flyer

alt text 
  • TU Delft 2010 iGEM team reaches finals at MIT. Read about the work here

  • 2009 VENI award from the Dutch Organization for Scientific Research (NWO, EW)
    More info can be found here

  • Marie Curie Fellowship from the European Commission

Older News