QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)

Project: Research

Hillston, Jane (Principal Investigator)
Gilmore, Stephen (Co-investigator)

School of Informatics

Status	Finished
Effective start/end date	1/04/13 → 31/03/17

Total award	£129,708.00
Funding organisation	EU government bodies
Funder project reference	600708

Total award	£777,324.00
Funding organisation	EU government bodies
Funder project reference	600708

Total award	£36,142.00
Funding organisation	EU government bodies
Funder project reference	600708

Period	1/04/13 → 31/03/17

Research outputs

ABC-Fun: A Probabilistic Programming Language for Biology
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Patch-based modelling of city-centre bus movement with phase-type distributions
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Contextual Lumpability
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
An Aggregation Technique for Large-Scale PEPA Models with Non-Uniform Populations
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Fluid Performability Analysis of Nested Automata Models
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
The Benefits of Sometimes Not Being Discrete
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Challenges for Quantitative Analysis of Collective Adaptive Systems
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Automated Capacity Planning for PEPA Models
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Service Composition for Collective Adaptive Systems
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Model Checking Single Agent Behaviours by Fluid Approximation
Research output: Contribution to journal › Article › peer-review
Modelling Residential Smart Energy Schemes
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Formal Punctuality Analysis of Frequent Bus Services Using Headway Data
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
CARMA: Collective Adaptive Resource-sharing Markovian Agents
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Speed-up of Stochastic Simulation of PCTMC Models by Statistical Model Reduction
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Quantitative modelling of residential smart grids
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Efficient Checking of Individual Rewards Properties in Markov Population Models
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Finding Optimal Timetables for Edinburgh Bus Routes
Research output: Contribution to journal › Article › peer-review
Efficient stochastic simulation of systems with multiple time scales via statistical abstraction
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Specification and Analysis of Open-Ended Systems with CARMA
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Performance Analysis of Collective Adaptive Behaviour in Time and Space
Research output: Contribution to journal › Article › peer-review
Quantitative Analysis of Collective Adaptive Systems
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Data-driven statistical learning of temporal logic properties
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
On hypothesis testing for statistical model checking
Research output: Contribution to journal › Article › peer-review
Hybrid semantics for Bio-PEPA
Research output: Contribution to journal › Article › peer-review
Component Aggregation for PEPA Models: An Approach Based on Approximate Strong Equivalence
Research output: Contribution to journal › Article › peer-review
A statistical approach for computing reachability of non-linear and stochastic dynamical systems
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A sequential hypothesis test based on a generalized Azuma inequality
Research output: Contribution to journal › Article › peer-review
Abstract Interpretation of PEPA Models
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Stochastic and Spatial Equivalences for PALOMA
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
CARMA Eclipse plug-in: A tool supporting design and analysis of Collective Adaptive Systems
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Moment-based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Smoothed model checking for uncertain Continuous-Time Markov Chains
Research output: Contribution to journal › Article › peer-review
Machine Learning Methods in Statistical Model Checking and System Design – Tutorial
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems
Research output: Contribution to journal › Article › peer-review
Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Spatial representations and analysis techniques
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Unbiased Bayesian inference for population Markov jump processes via random truncations
Research output: Contribution to journal › Article › peer-review
Probabilistic Programming Process Algebra
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Modelling movement for collective adaptive systems with CARMA
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Data as processes: introducing measurement data into CARMA models
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
System design of stochastic models using robustness of temporal properties
Research output: Contribution to journal › Article › peer-review
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Modelling ambulance deployment with CARMA
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Property-driven State-Space Coarsening for Continuous Time Markov Chains
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Probabilistic Modelling of the Impact on Bus Punctuality of a Speed Limit Proposal in Edinburgh
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Hypothesis testing for rare-event simulation: limitations and possibilities
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Validation of Automatic Vehicle Location Data in Public Transport Systems
Research output: Contribution to journal › Article › peer-review
PALOMA: A process algebra for located Markovian agents
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Probabilistic Modelling of Station Locations in Bicycle-Sharing Systems
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities
Research output: Contribution to specialist publication › Special issue
Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Rigorous Graphical Modelling of Movement in Collective Adaptive Systems
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Matching Models Across Abstraction Levels with Gaussian Processes
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Statistical abstraction for multi-scale spatio-temporal systems
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Moment-based Availability Prediction for Bike-Sharing Systems
Research output: Contribution to journal › Article › peer-review
Transient and Steady-State Statistical Analysis for Discrete Event Simulators
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes
Research output: Contribution to journal › Article › peer-review
ProPPA: Probabilistic Programming for Stochastic Dynamical Systems
Research output: Contribution to journal › Article › peer-review
Three-Valued Spatio-Temporal Logic: a further analysis on spatio-temporal properties of stochastic systems
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Spatio-temporal model-checking of vehicular movement in public transport systems
Research output: Contribution to journal › Article › peer-review
Accelerating Simulation of Population Continuous Time Markov Chains via Automatic Model Reduction
Research output: Contribution to journal › Article › peer-review
Mesoscopic modelling of pedestrian movement using Carma and its tools
Research output: Contribution to journal › Article › peer-review
Stochastic Process Algebras and their Markovian Semantics
Research output: Contribution to journal › Article
Statistical analysis of CARMA models: an advanced tutorial
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Analysis of spatio-temporal properties of stochastic systems using TSTL
Research output: Contribution to journal › Article › peer-review
Fluid approximation of broadcasting systems
Research output: Contribution to journal › Article › peer-review