-A A +A

Latest News

OXCAV member received Best Student Paper Award at CMSB 2020.

We are glad to announce that Gareth Molyneux has been presented the award for the article titled "ABC(SMC)^2: Simultaneous inference and model checking of chemical reaction networks," which was accepted and recently presented at this conference.

OXCAV paper given spotlight presentation at NeurIPS 2020.

 We are glad to announce that the article titled “A Randomized Algorithm to Reduce the Support of Discrete Measures,” authored by F. Cosentino, H. Oberhauser and A. Abate, has been accepted with spotlight presentation at NeurIPS 2020.

OxCAV is in CDC 2019

OxCAV members Hosein Hasanbeig and Alessandro Abate attend the 58th IEEE Conference on Decision and Control (CDC 2019) - Nice, France. 

The presented work "Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees" is a collaboration between OxCAV and George J. Pappas' group

The CDC is recognized as the premier scientific and engineering conference dedicated to the advancement of the theory and practice of systems and control. The CDC annually brings together an international community of researchers and practitioners in the field of automatic control to discuss new research results, perspectives on future developments, and innovative applications relevant to decision making, automatic control, and related areas.

Andrea Peruffo Presents his Paper @ 15th European Workshop on Advanced Control and Diagnosis, ACD 2019

Andrea Peruffo Presents his Paper @ 15th European Workshop on Advanced Control and Diagnosis, ACD 2019

 

https://eventi.unibo.it/acd2019

 

Details of the Paper:

Model-based Formal Reliability Analysis of Grid Dynamics with Solar Energy Sources


Andrea Peruffo, University of Oxford, UK
Emeline Guiu, RTE France, La Defense, Paris, France
Patrick Panciatici, RTE France, La Defense, Paris, France
Alessandro Abate, University of Oxford, UK

 

The 15th European Workshop on Advanced Control and Diagnosis (ACD 2019) will be held Thursday to Friday, November 21-22, 2019 at Palazzo Grassi, Bologna, Italy, with the support of the School of Engineering and Architecture of the Alma Mater Studiorum Università di Bologna and of the Department of Electrical, Electronic and Information Engineering “Guglielmo Marconi”. The conference is technically co-sponsored by IFAC (the International Federation of Automatic Control), by SIDRA (the Italian Society of Professors and Reserchers of Automatica) and by CERR (Confindustria Emilia Romagna Ricerca). The publisher of the proceedings is Springer. The media partner is MDPI Energies.

The European Workshop on Advanced Control and Diagnosis is a scientific event periodically organized by research groups active in the areas of advanced control and diagnosis. The aim is gathering academics and professionals from diverse fields of control systems and automation and offering a forum to discuss current research developments and open problems, illustrate practical applications and articulate industry needs and priorities. The first edition of the workshop took place in Duisburg, Germany, in November 2003. Since then, the workshop has been organized annually and hosted at various European Universities in France, Germany, UK, Poland, Italy, Hungary, Denmark, Czech Republic and Romania.

The 15th edition of the workshop will feature contributed and invited papers, as well as plenary lectures delivered by high-profile scientists and experts in advanced control and diagnosis. The contributions, either with a more theoretical nature or with a focus on applications, will span a variety of up-to-date topics in the field of systems and control. The main workshop topics include, but are not limited to, robust control, adaptive control, fault-tolerant control, control reconfiguration, model-based diagnosis of linear, nonlinear and hybrid systems, data-driven diagnosis methods, process supervision, diagnosis and control of discrete-event systems, maintenance and repair strategies, statistical methods for fault diagnosis, reliability and safety, signal and image processing, system identification, vision and robotics, condition monitoring, maintenance engineering, prognosis and health management, interval methods, numerical methods, neural and fuzzy methods, artificial intelligence methods for control and diagnosis. The main fields of applications are distributed systems, industrial processes, intelligent sensors and actuators, transportation systems, renewable energy systems. Further, the scope of the workshop has been broadened with respect to the previous editions to include challenging issues arising in the areas of cyber-physical production systems, industrial internet of things, systems and control for sustainability and structural methods for complex systems.

Last but not least, the city of Bologna, with its rich history, the oldest university of the western world, the beautiful middle-age downtown, the excellent food, the lively streets, and the gorgeous surroundings is the ideal seat not only for a profitable scientific event but also for a very pleasant stay.

Alessandro Abate is an Invited Speaker @ First Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis OVERLAY @ AIxIA 2019 November 19-20 2019, Rende (Italy)


First Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis OVERLAY @ AIxIA 2019 November 19-20 2019, Rende (Italy)

https://overlay.uniud.it/workshop/2019/

 

Invited speaker:Alessandro Abate (Oxford University)

Title: Certified Reinforcement Learning with Logic Guidance

A model-free Reinforcement Learning (RL) framework is proposed, to synthesise policies for an unknown, and possibly continuous-state, Markov Decision Process (MDP), such that a given linear temporal property is satisfied.

We convert the given property into an automaton, namely a finite-state machine expressing the property. Exploiting the structure of the automaton, we shape an adaptive reward function on-the-fly, so that the RL algorithm can synthesise a policy resulting in traces that probabilistically satisfy the linear temporal property.

Under the assumption that the MDP has finite number of states, theoretical guarantees are provided on the convergence of the RL algorithm. Whenever the MDP has a continuous state space, we empirically show that our framework finds satisfying policies, if existing. Additionally, the proposed algorithm can handle time-varying periodic environments.

The performance of the proposed architecture is evaluated via a set of numerical examples and benchmarks, where we observe an improvement of one order of magnitude in the number of iterations required for the policy synthesis, compared to existing approaches (when available).

Speaker's bio

Alessandro Abate is Professor of Verification and Control in the Department of Computer Science at the University of Oxford (UK), and is a fellow of the Alan Turing Institute in London (UK). He received a Laurea in Electrical Engineering in October 2002 from the University of Padova (IT), an MS in May 2004 and a PhD in December 2007, both in Electrical Engineering and Computer Sciences, at UC Berkeley (USA). He has been an International Fellow in the CS Lab at SRI International in Menlo Park (USA), and a PostDoctoral Researcher at Stanford University (USA), in the Department of Aeronautics and Astronautics. From June 2009 to mid 2013 he has been an Assistant Professor at the Delft Centre for Systems and Control, TU Delft - Delft University of Technology (NL).

Participation to CDC18

OxCAV members Andrea Peruffo and Alessandro Abate participated in the 57th IEEE Conference on Decision and Control (CDC 2018),

The paper titled:  Impact of Solar Panels and Cooling Devices on Frequency Control after a Generation Loss Incident was presented. This works falls under the Smart Energy project.

Alessandro Abate was also the Chair for session: Control Applications II.

The CDC is recognized as the premier scientific and engineering conference dedicated to the advancement of the theory and practice of systems and control. The CDC annually brings together an international community of researchers and practitioners in the field of automatic control to discuss new research results, perspectives on future developments, and innovative applications relevant to decision making, automatic control, and related areas.

 

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems

Paper titled: Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems accepted in the  22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2019). Authored by Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, and Luca Cardelli.

NVIDIA and Visteon

We are pleased to announce the newly received research support from NVIDIA and Visteon.

DPhil graduation of Dario Cattaruzza

We are happy to announce the DPhil graduation of Dario Cattaruzza. His work is related to the Unbounded-Time Safety Verification with Abstract Acceleration project.Congratulations from the rest of the OxCAV group!!

Talks at FLoC 2018

Talks being given as part of #FLoC2018 from #OxCaV group sorted by date:

Wednesday 11th:

14:00, CS Lecture Theatre A : Benchmarks for Cyber-Physical Systems, Nathalie Cauchi, Alessandro Abate , (ADHS)

14:00, CS Lecture Theatre B : Temporal Logic Control of General Markov Decision Processes by Approximate Policy Refinement, Sofie Haesaert, Sadegh Soudjani, Alessandro Abate,  (ADHS)

15:15, CS Lecture Theatre B :Approximate Abstractions of Markov Chains with Interval Decision Processes, Yuriy Zacchia Lun, Jack Wheatley, Alessandro D'Innocenzo, Alessandro Abate,  (ADHS)

-------------------------

Friday, 13th:

11:20, CS Lecture Theatre B: Results of ARCH Friendly Competition: Stochastic Models Group, (ARCH)

16:45, CS Lecture Theatre B: A modular library of stochastic models from building automation systems, Nathalie Cauchi, Alessandro Abate (ARCH)

17:00, Maths Seminar C5: Logically-constrained reinforcement learning, Mohammadhosein Hasanbeig, Alessandro Abate, Daniel Kroening (MoRe)

-------------------------

Saturday, 14th:

16:15,  Maths LT1 : Synthesis Modulor Theories, Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen (CAV)

-------------------------

Wednesday, 18th:

12:12, Maths LT3: Safe, Automated and Formal Synthesis of Digital Controllers for Continuous Plants, Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas Cordiero, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen (SYNT)

-------------------------

Thursday, 19th:

15:00, Maths LT6: Bayesian Verification of Chemical Reaction Networks, Gareth Molyneux, Viraj Brian Wijesuriya, Alessandro Abate (VEMDP)

-------------------------

 

 

Pages

CONTACT US

Oxford Control and Verification (OXCAV) Group

C/O Department of Computer Science

Wolfson Building, Parks Rd, Oxford OX1 3QD

T: +44 (0) 18656 10767

Education - This is a contributing Drupal Theme
Design by WeebPal.