Event segment: Difference between revisions

Content deleted Content added
No edit summary
No edit summary
Line 1:
{{context|date=November 2011}}
 
A '''segment''' orof ''trajectory''a system variable shows a homogenous status of system dynamics over a time period. Here, a homogenous status of a variable is a relationstate betweenwhich ancan be described by one elementcoefficient of ana arbitrarysimple setformula. <math>ZFor </math>example of homogenous statuses, we can bring status of constant ('ON' of a switch) and linear (60 miles or 96km per hour for speed). Mathematically, a timesegment is a function mapping from a set of timetimes basewhich can be defined by an real interval, to the set <math> \mathbb{T} Z</math> [[Event_Segment#References|[Zeigler76]]] and [[Event_Segment#References|[ZPK00]]]. IfA thetrajectory setof <math>Z</math>a system variable is thea setconcatenation of realssegments. <math>R</math>If soits additionconcatenating and multiplication operationssegments are definedconstant over(respectively <math>Z</math>linear), we cancall clarifyit the segment and thea trajectory in the classes of '''constant''',-segments '''linear''', and(respectively '''general'''linear-segments). As timed sequences of '''events''',An event segmentssegment areis a special class of the generalconstant segment that is a timed event or a null-segment. EventThe event segments are used to define [[Timed Event System]]s such as [[DEVS]], [[timed automaton|timed automata]], and [[timed petri nets]].
 
== Event segments ==
Line 53:
* [Zeigler76] {{cite book|author = Bernard Zeigler | year = 1976| title = Theory of Modeling and Simulation| publisher = Wiley Interscience, New York | id = |edition=first}}
* [ZKP00] {{cite book|author = Bernard Zeigler, Tag Gon Kim, Herbert Praehofer| year = 2000| title = Theory of Modeling and Simulation| publisher = Academic Press, New York | isbn= 978-0-12-778455-7 |edition=second}}
* [Hwang13] M.H. Hwang, ``Revisit of system variable trajectories``, ''Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium '', San Diego, CA, USA, April 7 - 10, 2013
 
[[Category:Automata theory]]
[[Category:Formal specification languages]]