↓ Skip to main content

Formal Modeling and Analysis of Timed Systems

Overview of attention for book
Cover of 'Formal Modeling and Analysis of Timed Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata
  3. Altmetric Badge
    Chapter 2 Assessing the Robustness of Arrival Curves Models for Real-Time Systems
  4. Altmetric Badge
    Chapter 3 Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring
  5. Altmetric Badge
    Chapter 4 Mixed-Time Signal Temporal Logic
  6. Altmetric Badge
    Chapter 5 A State Class Construction for Computing the Intersection of Time Petri Nets Languages
  7. Altmetric Badge
    Chapter 6 Stability and Performance Bounds in Cyclic Networks Using Network Calculus
  8. Altmetric Badge
    Chapter 7 ParetoLib: A Python Library for Parameter Synthesis
  9. Altmetric Badge
    Chapter 8 Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty
  10. Altmetric Badge
    Chapter 9 Bounded Model Checking of Max-Plus Linear Systems via Predicate Abstractions
  11. Altmetric Badge
    Chapter 10 Reachability Analysis for High-Index Linear Differential Algebraic Equations
  12. Altmetric Badge
    Chapter 11 The Timestamp of Timed Automata
  13. Altmetric Badge
    Chapter 12 On the Distance Between Timed Automata
  14. Altmetric Badge
    Chapter 13 Time to Learn – Learning Timed Automata from Tests
  15. Altmetric Badge
    Chapter 14 Munta: A Verified Model Checker for Timed Automata
  16. Altmetric Badge
    Chapter 15 Sandboxing Controllers for Stochastic Cyber-Physical Systems
  17. Altmetric Badge
    Chapter 16 Proportional Lumpability
  18. Altmetric Badge
    Chapter 17 Expected Reachability-Price Games
Attention for Chapter 5: A State Class Construction for Computing the Intersection of Time Petri Nets Languages
Altmetric Badge

About this Attention Score

  • Average Attention Score compared to outputs of the same age and source

Mentioned by

twitter
2 X users

Citations

dimensions_citation
1 Dimensions
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
A State Class Construction for Computing the Intersection of Time Petri Nets Languages
Chapter number 5
Book title
Formal Modeling and Analysis of Timed Systems
Published in
arXiv, August 2019
DOI 10.1007/978-3-030-29662-9_5
Book ISBNs
978-3-03-029661-2, 978-3-03-029662-9
Authors

Yannick Pencolé, Éric Lubat, Silvano Dal Zilio, Didier Le Botlan, Audine Subias, Lubat, Éric, Dal Zilio, Silvano, Le Botlan, Didier, Pencolé, Yannick, Subias, Audine

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.
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 07 August 2019.
All research outputs
#18,686,631
of 23,153,184 outputs
Outputs from arXiv
#542,172
of 952,324 outputs
Outputs of similar age
#256,996
of 345,067 outputs
Outputs of similar age from arXiv
#16,094
of 28,353 outputs
Altmetric has tracked 23,153,184 research outputs across all sources so far. This one is in the 11th percentile – i.e., 11% of other outputs scored the same or lower than it.
So far Altmetric has tracked 952,324 research outputs from this source. They receive a mean Attention Score of 3.9. This one is in the 28th percentile – i.e., 28% 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 345,067 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 14th percentile – i.e., 14% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 28,353 others from the same source and published within six weeks on either side of this one. This one is in the 30th percentile – i.e., 30% of its contemporaries scored the same or lower than it.