System analysis and robustness

DOI10.1007/978-3-030-22348-9_4MaRDI QIDQ6165809zbMATH OpenOpenAlexFDO

Authors Eugenio Moggi, Amin Farjudian, Walid Taha

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

complete latticedomain theorymetric spacerobustnesssystem analysis

Mathematics Subject Classification ID

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

Recommendations

• Robustness analysis of discrete systems
• Robustness analysis of networked systems
• Synthesizing robust systems
• scientific article; zbMATH DE number 49163
• Structural analysis of robust control systems
• Robustness analysis and synthesis for nonlinear uncertain systems
• Robustness of linear systems
• scientific article; zbMATH DE number 475506

Cited in

(8)

• Domain theoretic second-order Euler's method for solving initial value problems
• Abstracting and refining robustness for cyber-physical systems
• Robustness analysis: a case study
• scientific article; zbMATH DE number 147701 (Why is no real title available?)
• scientific article; zbMATH DE number 945281 (Why is no real title available?)
• Recursive solution of initial value problems with temporal discretization
• A domain-theoretic framework for robustness analysis of neural networks
• Robustness in metric spaces over continuous quantales and the Hausdorff-Smyth monad

This page was built for publication: System analysis and robustness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6165809)