20126 search results - page 162 / 4026 » Timed Transition Systems |
92
Voted
JCSC
2002
15 years 3 months ago
2002
109
Voted
MSOM
2007
15 years 3 months ago
2007
115
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
In this note, the novel representation is proposed for a linear periodic continuous-time system with T-periodic real-valued coefficients. We prove that a T-periodic real-valued fac...
124
click to vote
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
110
Voted
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...