发芽
发表于 2025-3-23 13:41:54
http://reply.papertrans.cn/71/7021/702041/702041_11.png
异常
发表于 2025-3-23 14:35:58
Models of Time and of System BehaviorsIn computer science, system behaviors are often represented as a function from some time domain . to some state domain .. We will also use this approach.
排出
发表于 2025-3-23 19:18:03
Defining Hybrid Systems with ASMsWe will define hybrid systems using the most important ideas from ASMs. First we define a classical approach to modelling hybrid systems, and then we define a novel, non-standard approach of modelling hybrid systems.
流行
发表于 2025-3-24 02:08:48
DeadlinesA concept which is often used in models of real-time systems is the deadline. A deadline is a point in time associated with an event so that the event must take place in a system run, and it must not take place after the deadline. This section will discuss how deadlines might be modelled in NTASMs.
Bone-Scan
发表于 2025-3-24 03:50:12
Open SystemsAn application is modelled as an open system if the environment is not expressed explicitly in the model. Open systems are the paradigmatic case of reactive systems.
Rodent
发表于 2025-3-24 08:31:06
Making Use of Different Magnitudes of RealsConsider the following scenario: A flip-flop is wired up so that with every rising edge of the clock, it changes its state.
发芽
发表于 2025-3-24 11:26:04
An ASM Meta-model for Petri Nets with TimingThis section will present several NTASM interpretations of timing enhanced Petri nets. Petri nets without timing are a widely used model for discrete nondeterministic distributed systems.
certain
发表于 2025-3-24 18:34:37
An ASM Meta-model for Timed and Hybrid AutomataTimed and hybrid automata are formalisms for the description of real-time systems which are designed primarily to make algorithmic analysis possible .
sed-rate
发表于 2025-3-24 22:43:31
http://reply.papertrans.cn/71/7021/702041/702041_19.png
maladorit
发表于 2025-3-25 00:21:31
978-3-540-25576-5Springer-Verlag Berlin Heidelberg 2005