Logical Characterisation of Hybrid Conformance
- Submitting institution
-
The University of Leicester
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 2176
- Type
- E - Conference contribution
- DOI
-
10.4230/LIPIcs.ICALP.2020.130
- Title of conference / published proceedings
- The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020)
- First page
- 1
- Volume
- 168
- Issue
- 18
- ISSN
- 1868-8969
- Open access status
- Compliant
- Month of publication
- June
- Year of publication
- 2020
- URL
-
-
- Supplementary information
-
https://doi.org/10.4230/LIPIcs.ICALP.2020.130
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
1
- Research group(s)
-
-
- Citation count
- -
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This is the first logical characterization of any approximate notion of conformance for hybrid systems. Earlier results by Majumdar et al. and Abbas et al. only offered logical preservation, while we provide both preservation and reflection result. We also extend the scope of results from equivalence relations to refinement. This will allow for a wider range of applications and establishes a strong logical foundation for conformance testing based on hybrid system models, and enable development algorithms for conformance checking and monitoring based on characterising logical formulae (cf. Dimitrova et al. FORTE’20).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -