Publications
] .
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.
.
2017. Dynamic Bayesian networks for formal verification of structured stochastic processes. Acta Inf.. 54:217–242.
.
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.
.
2017. Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees. Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments. abs/1801.04263:24:1-24:10.
.
2017. Experimental Biological Protocols with Formal Semantics. CoRR. abs/1710.08016
.
2017. Formal Modeling and Analysis of Timed Systems - 15th International Conference, {FORMATS} 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Lecture Notes in Computer Science. 10419
.
2017. Formal verification of complex systems: model-based and data-driven methods. Proceedings of the 15th {ACM-IEEE} International Conference on Formal Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria, September 29 - October 02, 2017. :91–93.
.
2017. Long-Term Predictive Maintenance: A Study of Optimal Cleaning of Biomass Boilers. Energy and Buildings.
.
2017. Model-based predictive maintenance in building automation systems with user discomfort. Energy. 138:306-315.
.
2017. Multi-objective optimal control with safety as a priority. Proceedings of the 8th International Conference on Cyber-Physical Systems, {ICCPS} 2017, Pittsburgh, Pennsylvania, USA, April 18-20, 2017. :25–36.
.
2017. Numerical Software Verification - 10th International Workshop, {NSV} 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated with {CAV} 2017]. Lecture Notes in Computer Science. 10381
.
2017. Optimal robust control and a separation principle for polytopic time-inhomogeneous Markov jump linear systems. 56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017, Melbourne, Australia, December 12-15, 2017. :6525–6530.
.
2017. Quantitative model-checking of controlled discrete-time Markov processes. Inf. Comput.. 253:1–35.
.
2017. Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20, 2017. :55–64.
.
2017. On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context. Foundations of Software Science and Computation Structures - 20th International Conference, {FOSSACS} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. :321–337.
.
2017. On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Extended Version). CoRR. abs/1701.04547
.
2017. Safe Policy Search with Gaussian Process Models. CoRR. abs/1712.05556
.
2017. Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20, 2017. :197–206.
.
2017. Sound Numerical Computations in Abstract Acceleration. Numerical Software Verification - 10th International Workshop, {NSV} 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated with {CAV} 2017]. :38–60.
.
2017. Temporal logic control of general Markov decision processes by approximate policy refinement. CoRR. abs/1712.07622
.
2017. Towards scalable synthesis of stochastic control systems. Discrete Event Dynamic Systems. 27:341–369.
.
2017. Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. {SIAM} J. Control and Optimization. 55:2333–2367.
.
2016. Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations. Automated Technology for Verification and Analysis - 14th International Symposium, {ATVA} 2016, Chiba, Japan, October 17-20, 2016, Proceedings. :13–31.
.
2016. Data-Efficient Bayesian Verification of Parametric Markov Chains. Quantitative Evaluation of Systems - 13th International Conference, {QEST} 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. :35–51.
.
2016. Efficient {HVAC} controls: {A} symbolic approach. 2016 European Control Conference, {ECC} 2016, Aalborg, Denmark, June 29 - July 1, 2016. :1159–1164.
Pages
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.
Design by WeebPal.