Domain-size constraint on real-time model abstractions

被引:0
|
作者
Sengupta, S [1 ]
Andriamanalimanana, BR [1 ]
机构
[1] SUNY Coll Technol Utica Rome, Inst Technol, Utica, NY 13504 USA
关键词
model abstractions; real-time network management; observer-centric network; p-visibility; q-visibility; clock synchronization; MCP events;
D O I
10.1117/12.440027
中图分类号
V [航空、航天];
学科分类号
08 ; 0825 ;
摘要
Network domain is predicated by the visibility of active nodes from a controller or an observer. The events shaping network factors may affect observation considerably. Accordingly, owing to network congestion and sudden change in resource availability, causal events may lose causal polarity and event bundles may appear slack at the observation post. These nodes are then beyond observation and control. Even though they may appear participating like any other regular nodes, their presence may affect real-time model abstraction processes. Highly dense domains may generate model change points at a faster rate than the observer can process affecting the model abstraction process considerably. In this paper, a framework is explored to articulate the manifold event possibilities that constrain the node visibility, and hence, the domain size. A sketchy optimization model is attempted to realize a limitation of the model abstraction process as a function of hop count.
引用
收藏
页码:253 / 261
页数:9
相关论文
共 50 条
  • [1] Model abstractions for real-time network environments
    Andriamanalimanana, B
    Sengupta, S
    Riolo, J
    Svedman, T
    Khan, M
    Gates, K
    [J]. ENABLING TECHNOLOGY FOR SIMULATION SCIENCE IV, 2000, 4026 : 212 - 220
  • [2] Model checking of real-time reachability properties using abstractions
    Daws, C
    Tripakis, S
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1998, 1384 : 313 - 329
  • [3] Automatic abstractions of real-time specifications
    Brockmeyer, M
    [J]. FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, : 147 - 158
  • [4] Domain-size heterogeneity in the Ising model: Geometrical and thermal transitions
    de la Rocha, Andre R.
    de Oliveira, Paulo Murilo C.
    Arenzon, Jeferson J.
    [J]. PHYSICAL REVIEW E, 2015, 91 (04):
  • [5] Formula based abstractions of transition systems for real-time model checking
    Barbuti, R
    De Francesco, N
    Santone, A
    Vaglini, G
    [J]. FM'99-FORMAL METHODS, 1999, 1708 : 289 - 306
  • [6] Logic Based Abstractions of Real-Time Systems
    Roberto Barbuti
    Nicoletta De Francesco
    Antonella Santone
    Gigiola Vaglini
    [J]. Formal Methods in System Design, 2000, 17 : 201 - 220
  • [7] Logic based abstractions of real-time systems
    Barbuti, R
    De Francesco, N
    Santone, A
    Vaglini, G
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2000, 17 (03) : 201 - 220
  • [8] Domain-size dependence of piezoelectric properties of ferroelectrics
    Ahluwalia, R
    Lookman, T
    Saxena, A
    Cao, WW
    [J]. PHYSICAL REVIEW B, 2005, 72 (01)
  • [9] Domain-Size Aware Markov Logic Networks
    Mittal, Happy
    Bhardwaj, Ayush
    Gogate, Vibhav
    Singla, Parag
    [J]. 22ND INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND STATISTICS, VOL 89, 2019, 89
  • [10] SOME DOMAIN-SIZE EFFECTS IN POLYMER TRANSITIONS
    COUCHMAN, PR
    KARASZ, FE
    [J]. JOURNAL OF POLYMER SCIENCE PART C-POLYMER SYMPOSIUM, 1977, (63): : 271 - 280