Analysis of dynamical systems using predicate transformers. Attraction and composition

被引：0
|
作者：
Sintzoff, M.
Geurts, F.
机构：
来源：
Proceedings of the Institution of Mechanical Engineers, Part J: Journal of Engineering Tribology | 1995年 / 209卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] DYNAMICAL-SYSTEMS - ATTRACTION IN A NEW IDEA
    STEWART, I
    NATURE, 1985, 317 (6038) : 573 - 574
  • [22] On a criterium of global attraction for discrete dynamical systems
    Coll, B
    Gasull, A
    Prohens, R
    COMMUNICATIONS ON PURE AND APPLIED ANALYSIS, 2006, 5 (03) : 537 - 550
  • [23] BASINS OF ATTRACTION IN DRIVEN DYNAMICAL-SYSTEMS
    ESCHENAZI, E
    SOLARI, HG
    GILMORE, R
    PHYSICAL REVIEW A, 1989, 39 (05): : 2609 - 2627
  • [24] Stepwise calculation of the basin of attraction in dynamical systems using radial basis functions
    Giesl, Peter
    Algorithms for Approximation, Proceedings, 2007, : 113 - 122
  • [25] Progress on reachability analysis of hybrid systems using predicate abstraction
    Alur, R
    Dang, T
    Ivancic, F
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2003, 2623 : 4 - 19
  • [26] PREDICATES AND PREDICATE TRANSFORMERS FOR SUPERVISORY CONTROL OF DISCRETE EVENT DYNAMIC-SYSTEMS
    KUMAR, R
    GARG, V
    MARCUS, SI
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1993, 38 (02) : 232 - 247
  • [27] STABILITY, ATTRACTION PROPERTIES AND ASYMPTOTIC EQUIVALENCE OF DYNAMICAL SYSTEMS
    KONO, S
    PROCEEDINGS OF THE JAPAN ACADEMY, 1971, 47 (04): : 353 - &
  • [28] On the region of attraction of dynamical systems: Application to Lorenz equations
    Hammami, M. A.
    Rettab, N. H.
    ARCHIVES OF CONTROL SCIENCES, 2020, 30 (03): : 389 - 409
  • [29] Computational Schemes for Optimizing Domains of Attraction in Dynamical Systems
    Castillo, Angela
    Zufiria, Pedro J.
    PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE 2011, VOL 1, PTS A AND B: 23RD BIENNIAL CONFERENCE ON MECHANICAL VIBRATION AND NOISE, 2012, : 637 - 646
  • [30] Model Transformers for Dynamical Systems of Dynamic Epistemic Logic
    Rendsvig, Rasmus K.
    LOGIC, RATIONALITY, AND INTERACTION (LORI 2015), 2015, 9394 : 316 - 327
12345