Denotational semantics of hybrid automata

被引：0
|
作者：
Edalat, A [1 ]
Pattinson, D
机构：
[1] Univ London Imperial Coll Sci Technol & Med, Dept Comp, London SW7 2AZ, England
[2] Univ Leicester, Dept Comp Sci, Leicester LE1 7RH, Leics, England
来源：
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS | 2006年 / 3921卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We introduce a denotational semantics for non-linear hybrid automata, and relate it to the operational semantics given in terms of hybrid trajectories. The semantics is defined as least fixpoint of an operator on the continuous domain of functions of time that take values in the lattice of compact subsets of n-dimensional Euclidean space. The semantic function assigns to every point in time the set of states the automaton can visit at that time, starting from one of its initial states. Our main results are the correctness and computational adequacy of the denotational semantics with respect to the operational semantics and the fact that the denotational semantics is computable.
引用
收藏
页码：231 / 245
页数：15
相关论文
共 50 条
  • [1] Denotational semantics of hybrid automata
    Edalat, Abbas
    Pattinson, Dirk
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 73 (1-2): : 3 - 21
  • [2] A Denotational Semantics for Parameterised Networks of Synchronised Automata
    Li, Siqi
    Madelaine, Eric
    UNIFYING THEORIES OF PROGRAMMING, UTP 2016, 2017, 10134 : 93 - 113
  • [3] A hybrid denotational semantics for hybrid systems
    Bouissou, Olivier
    Martel, Matthieu
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 4960 : 63 - +
  • [4] Discrete Semantics for Hybrid Automata
    Casagrande, Alberto
    Piazza, Carla
    Policriti, Alberto
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2009, 19 (04): : 471 - 493
  • [5] On phase semantics and denotational semantics: the exponentials
    Bucciarelli, A
    Ehrhard, T
    ANNALS OF PURE AND APPLIED LOGIC, 2001, 109 (03) : 205 - 241
  • [6] CPP denotational semantics
    Favre, JM
    THIRD IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION - PROCEEDINGS, 2003, : 22 - 31
  • [7] DOMAINS FOR DENOTATIONAL SEMANTICS
    SCOTT, DS
    LECTURE NOTES IN COMPUTER SCIENCE, 1982, 140 : 577 - 612
  • [8] ON DENOTATIONAL SEMANTICS OF DATABASES
    RISHE, N
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 239 : 249 - 274
  • [9] A DENOTATIONAL SEMANTICS FOR PROLOG
    NICHOLSON, T
    FOO, N
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (04): : 650 - 665
  • [10] Why denotational? Remarks on applied denotational semantics
    Blikle, Andrzej
    Fundamenta Informaticae, 1996, 28 (1-2): : 55 - 85
12345