↓ Skip to main content

Principles of Systems Design

Overview of attention for book
Cover of 'Principles of Systems Design'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 From Hybrid Automata to DAE-Based Modeling
  3. Altmetric Badge
    Chapter 2 What’s Decidable About Discrete Linear Dynamical Systems?
  4. Altmetric Badge
    Chapter 3 Symbolic Analysis of Linear Hybrid Automata – 25 Years Later
  5. Altmetric Badge
    Chapter 4 An Architecture for Safe Driving Automation
  6. Altmetric Badge
    Chapter 5 Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework
  7. Altmetric Badge
    Chapter 6 On Specifications and Proofs of Timed Circuits
  8. Altmetric Badge
    Chapter 7 Asynchronous Correspondences Between Hybrid Trajectory Semantics
  9. Altmetric Badge
    Chapter 8 Generalizing Logical Execution Time
  10. Altmetric Badge
    Chapter 9 Towards a Grand Unification of Büchi Complementation Constructions
  11. Altmetric Badge
    Chapter 10 A Simple Rewrite System for the Normalization of Linear Temporal Logic
  12. Altmetric Badge
    Chapter 11 A Survey on Satisfiability Checking for the  $$\mu $$ μ -Calculus Through Tree Automata
  13. Altmetric Badge
    Chapter 12 Universal Algorithms for Parity Games and Nested Fixpoints
  14. Altmetric Badge
    Chapter 13 Simulation Relations and Applications in Formal Methods
  15. Altmetric Badge
    Chapter 14 Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification
  16. Altmetric Badge
    Chapter 15 Getting Saturated with Induction
  17. Altmetric Badge
    Chapter 16 On Probabilistic Monitorability
  18. Altmetric Badge
    Chapter 17 On the Foundations of Cycles in Bayesian Networks
  19. Altmetric Badge
    Chapter 18 Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge
  20. Altmetric Badge
    Chapter 19 Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games
  21. Altmetric Badge
    Chapter 20 Parameter Synthesis in Markov Models: A Gentle Survey
  22. Altmetric Badge
    Chapter 21 Convex Lattice Equation Systems
  23. Altmetric Badge
    Chapter 22 Variance Reduction in Stochastic Reaction Networks Using Control Variates
  24. Altmetric Badge
    Chapter 23 From Interface Automata to Hypercontracts
  25. Altmetric Badge
    Chapter 24 Consistency and Persistency in Program Verification: Challenges and Opportunities
  26. Altmetric Badge
    Chapter 25 Automated Program Repair Using Formal Verification Techniques
  27. Altmetric Badge
    Chapter 26 Embedded Domain Specific Verifiers
  28. Altmetric Badge
    Chapter 27 Software Model Checking: 20 Years and Beyond
  29. Altmetric Badge
    Chapter 28 T4V: Exploring Neural Network Architectures that Improve the Scalability of Neural Network Verification
  30. Altmetric Badge
    Chapter 29 A Framework for Transforming Specifications in Reinforcement Learning
  31. Altmetric Badge
    Chapter 30 Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques
  32. Altmetric Badge
    Chapter 31 Correct-by-Construction Runtime Enforcement in AI – A Survey
Attention for Chapter 30: Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
1 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques
Chapter number 30
Book title
Principles of Systems Design
Published in
arXiv, January 2022
DOI 10.1007/978-3-031-22337-2_30
Book ISBNs
978-3-03-122336-5, 978-3-03-122337-2
Authors

Neubauer, Sophie A., Grosu, Radu, Sophie A. Neubauer, Radu Grosu

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 100%
Readers by discipline Count As %
Computer Science 1 100%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 1. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 25 August 2023.
All research outputs
#21,798,824
of 24,323,543 outputs
Outputs from arXiv
#766,427
of 1,032,884 outputs
Outputs of similar age
#430,716
of 509,051 outputs
Outputs of similar age from arXiv
#22,399
of 33,088 outputs
Altmetric has tracked 24,323,543 research outputs across all sources so far. This one is in the 1st percentile – i.e., 1% of other outputs scored the same or lower than it.
So far Altmetric has tracked 1,032,884 research outputs from this source. They receive a mean Attention Score of 4.0. This one is in the 1st percentile – i.e., 1% of its peers scored the same or lower than it.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 509,051 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 1st percentile – i.e., 1% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 33,088 others from the same source and published within six weeks on either side of this one. This one is in the 1st percentile – i.e., 1% of its contemporaries scored the same or lower than it.