Skip to main content
Search form
Search
Previous
Pause
Next
Home
Menu
Home
People
Publications
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving
Software
Projects
Resources
Latest News
Contact Us
-
A
A
+
A
Publications
Search
Show only items where
Author
any
Abate, Alessandro
Abate, A.
Abate, Alessandro
Adzkiya, Dieky
Adzkiya, Dieky
Ahmed, Daniele
Ahmed, D.
Bessa, Iury
Bian, Gaoang
Biere, Armin
Blom, Henk
Boldo, Sylvie
Bortolussi, Luca
Bu, Lei
Budde, Carlos E.
Cardelli, Luca
Cardelli, Luca
Cattaruzza, Dario
Cauchi, Nathalie
Cauchi, Nathalie
Ceska, Milan
Chaves, Lennon
Chen, Fei
Cimatti, Alessandro
Cordeiro, Lucas C.
Cordeiro, Lucas
D'Innocenzo, Alessandro
David, Cristina
De Schutter, Bart
Degiorgio, Kurt
Di Benedetto, Maria Domenica
Endel, Petr
Fainekos, Georgios E.
Frehse, Goran
Geeraerts, Gilles
Giacobbe, M.
Giacobbe, Mirco
Girard, Antoine
Guiu, Emeline
Guiu, Emeline
Guiu, E.
Haesaert, Sofie
Hartmanns, Arnd
Hasanbeig, Mohammadhosein
Hasanbeig, Mohammadhosein
Holub, Ondrej
Hoque, Khaza Anuarul
Indelman, Vadim
Jeppu, Natasha Yogananda
Kantaros, Yiannis
Katoen, Joost-Pieter
Kesseli, Pascal
Kessell, Pascal
Kroening, Daniel
Kroening, Daniel
Kwiatkowska, Marta Z.
Kwiatkowska, Marta
Kwiatkowska, Marta
Lahijanian, Morteza
Laurenti, Luca
Laurenti, Luca
Lee, Insup
Lesser, Kendra
Lun, Yuriy Zacchia
Macek, Karel
Majumdar, Rupak
Melham, Tom
Mereacre, Alexandru
Micheli, Andrea
Mufid, Muhammad Syifa'Ul
Mufid, Muhammad Syifa'ul
Mufid, Muhammad Syifa'ul
Oishi, Meeko
Panciatici, Patrick
Panciatici, P.
Panciatici, Patrick
Pappas, George J.
Parker, David
Pathak, Shashank
Peruffo, Andrea
Peruffo, A.
Peruffo, Andrea
Polgreen, Elizabeth
Polymenakos, Kyriakos
Roberts, Stephen
Schrammel, Peter
Sivaramakrishnan, Vignesh
Soudjani, Sadegh Esmaeil Za
Soudjani, Sadegh
Stoelinga, Mariëlle
Tkachev, Ilya
Van den Hof, Paul M. J.
van Harmelen, Arnaud
Vasile, Cristian-Ioan
Vinod, Abraham P.
Weiland, Siep
Wheatley, Jack
Wijesuriya, Viraj Brian
Wijesuriya, Viraj B.
Yordanov, Boyan
Yuan, Lim Zun
Zaffanella, Enea
Zamani, Majid
Zhang, Yining
Type
any
Journal Article
Conference Proceedings
Conference Paper
Term
any
Year
any
2021
2020
2019
2018
2017
2016
2015
Keyword
any
Availability
Biomass boiler modelling
building automation systems
Delays
Dynamic programming
electrical grid
Energy savings
fault maintenance trees
formal modelling
frequency
frequency control
frequency regulation
global network
heterogeneity
heterogeneous population
HVAC
large-scale population
load shedding
Maintenance
Markov models
Markov processes
Model Checking
photovoltaic panels
photovoltaic power systems
Photovoltaic systems
population models
power grids
Predictive maintenance
PRISM
probabilistic model checking
reliability
renewable energy sources
single equivalent generator
Smart Buildings
Sociology
Statistical Model Checking
Statistics
synchronisation
synchronised behaviour
synchronous frequency grid dynamics
Temperature regulation
Thermal comfort
Time-frequency analysis
Export 63 results:
BibTex
RTF
Tagged
MARC
XML
RIS
Author
Title
Type
[
Year
]
Filters:
Author
is
Alessandro Abate
[Clear All Filters]
2020
Ahmed D
,
Peruffo A
,
Abate A
. 2020.
Automated and Sound Synthesis of Lyapunov Functions with {SMT} Solvers
.
Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, {TACAS} 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {I}.
DOI
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Abate A
,
Cimatti A
,
Micheli A
,
Mufid MSyifa'Ul
. 2020.
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving
.
FORMATS 2020.
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Hasanbeig M
,
Kroening D
,
Abate A
. 2020.
Deep Reinforcement Learning with Temporal Logics
.
International Conference on Formal Modeling and Analysis of Timed Systems.
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
2018
Lun YZacchia
,
Wheatley J
,
D'Innocenzo A
,
Abate A
. 2018.
Approximate Abstractions of Markov Chains with Interval Decision Processes
.
IFAC Conference on Analysis and Design of Hybrid Systems.
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Frehse G
,
Abate A
,
Adzkiya D
,
Bu L
,
Giacobbe M
,
Mufid MSyifa'Ul
,
Zaffanella E
. 2018.
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics
.
ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems.
DOI
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Abate A
,
Blom H
,
Cauchi N
,
Haesaert S
,
Hartmanns A
,
Lesser K
,
Oishi M
,
Sivaramakrishnan V
,
Soudjani S
,
Vasile C-I
et al.
. 2018.
ARCH-COMP18 Category Report: Stochastic Modelling
.
ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems. 54:71-103.
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Abate A
,
Budde CE
,
Cauchi N
,
Hoque KAnuarul
,
Stoelinga M
. 2018.
Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees
.
Fourth european conference of the prognostics and health management society 2018.
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Cauchi N
,
Abate A
. 2018.
Benchmarks for cyber-physical systems: A modular model library for buildings automation
.
IFAC Conference on Analysis and Design of Hybrid Systems.
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Hasanbeig M
,
Abate A
,
Kroening D
. 2018.
Logically-Constrained Reinforcement Learning
.
CoRR. abs/1801.08099
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Cauchi N
,
Hoque KAnuarul
,
Stoelinga M
,
Abate A
. 2018.
Maintenance of Smart Buildings using Fault Trees
.
ACM Transactions on Sensor Networks: Systems for Smart and Efficient Built Environments.
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Abate A
,
Budde CE
,
Cauchi N
,
van Harmelen A
,
Hoque KAnuarul
,
Stoelinga M
. 2018.
Modelling Smart Buildings using Fault Maintenance Trees
.
15th European Performance Engineering Workshop.
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Abate A
,
Bessa I
,
Cattaruzza D
,
Cordeiro L
,
David C
,
Kessell P
,
Kroening D
,
Polgreen E
. 2018.
Safe, Automated and Formal Synthesis of Digital Controllers for Continuous Plants
.
7th Workshop on Synthesis .
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Haesaert S
,
Soudjani S
,
Abate A
. 2018.
Temporal Logic Control of General Markov Decision Processes by Approximate Policy Refinement
.
IFAC Conference on Analysis and Design of Hybrid Systems.
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
2017
Peruffo A
,
Guiu E
,
Panciatici P
,
Abate A
. 2017.
Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panels
.
Quantitative Evaluation of Systems - 14th International Conference, {QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings. :72–87.
DOI
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Frehse G
,
Abate A
,
Adzkiya D
,
Bu L
,
Giacobbe M
. 2017.
{ARCH-COMP17} Category Report: Hybrid Systems with Piecewise Constant Dynamics
.
{ARCH17.} 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, {USA}. :124–133.
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Polgreen E
,
Wijesuriya VB
,
Haesaert S
,
Abate A
. 2017.
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes
.
CoRR. abs/1707.01322
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Polgreen E
,
Wijesuriya VB
,
Haesaert S
,
Abate A
. 2017.
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes
.
Quantitative Evaluation of Systems - 14th International Conference, {QEST} 2017, Berlin, Germany, September 5-7, 2017, Proceedings. :259–274.
DOI
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Abate A
,
Bessa I
,
Cattaruzza D
,
Cordeiro LC
,
David C
,
Kesseli P
,
Kroening D
,
Polgreen E
. 2017.
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants
.
Computer Aided Verification - 29th International Conference, {CAV} 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}. :462–482.
DOI
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Abate A
,
Bessa I
,
Cattaruzza D
,
Cordeiro LC
,
David C
,
Kesseli P
,
Kroening D
,
Polgreen E
. 2017.
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants
.
CoRR. abs/1705.00981
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Haesaert S
,
Cauchi N
,
Abate A
. 2017.
Certified policy synthesis for general Markov decision processes: An application in building automation systems
.
Perform. Eval.. 117:75–103.
DOI
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Chen F
,
Haesaert S
,
Abate A
,
Weiland S
. 2017.
Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations
.
CoRR. abs/1704.01672
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Haesaert S
,
Van den Hof PMJ
,
Abate A
. 2017.
Data-driven and model-based verification via Bayesian identification and reachability analysis
.
Automatica. 79:115–126.
DOI
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Abate A
,
Bessa I
,
Cattaruzza D
,
Chaves L
,
Cordeiro LC
,
David C
,
Kesseli P
,
Kroening D
,
Polgreen E
. 2017.
DSSynth: an automated digital controller synthesis tool for physical plants
.
Proceedings of the 32nd {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November 03, 2017. :919–924.
DOI
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Soudjani SEsmaeil Za
,
Abate A
,
Majumdar R
. 2017.
Dynamic Bayesian networks for formal verification of structured stochastic processes
.
Acta Inf.. 54:217–242.
DOI
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Cauchi N
,
Hoque KAnuarul
,
Abate A
,
Stoelinga M
. 2017.
Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees
.
In Proceedings of the 4th International Conference on Systems for Energy-Efficient Built Environments.
Google Scholar
BibTex
RTF
Tagged
MARC
XML
RIS
Pages
1
2
3
next ›
last »
USEFUL LINKS
Department of Computer Science, Oxford
EPSRC Centre for Doctoral Training in AIMS
EPSRC/BBSRC Centre for Doctoral Training in Synthetic Biology
MORE USEFUL LINKS
University of Oxford
Verification Seminars
Cyber-physical Systems Seminars
The Alan Turing Institute
GET IN TOUCH WITH US
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
.