System analysis and robustness

DOI10.1007/978-3-030-22348-9_4zbMath1519.68165OpenAlexW2955518933MaRDI QIDQ6165809

Eugenio Moggi, Walid Taha, Amin Farjudian

Publication date: 2 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://eprints.nottingham.ac.uk/57139/1/2019-Moggi_Farjudian_Taha-System_Analysis_and_Robustness.pdf

zbMATH Keywords

robustnessmetric spacecomplete latticedomain theorysystem analysis

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Continuous lattices and posets, applications (06B35) Applications of general topology to computer science (e.g., digital topology, image processing) (54H30)

Related Items (3)

Domain theoretic second-order Euler's method for solving initial value problems ⋮ Recursive solution of initial value problems with temporal discretization ⋮ A domain-theoretic framework for robustness analysis of neural networks

This page was built for publication: System analysis and robustness