|
Alessandro Abate
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
|
|
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)
|
|
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
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
|