4693 search results - page 209 / 939 » Verifying Hybrid Systems |
142
Voted
CDC
2010
IEEE
15 years 16 days ago
2010
IEEE
This paper presents a sum of squares (SOS) approach to the stability analysis of networked control systems (NCSs) incorporating time-varying delays and time-varying transmission in...
135
click to vote
HYBRID
2009
Springer
16 years 9 days ago
2009
Springer
This paper studies distributed networked systems with data dropouts and transmission delays. We propose a decentralized eventtriggering scheme, where a subsystem broadcasts its sta...
167
click to vote
ICUMT
2009
15 years 3 months ago
2009
Network Coordinate (NC) which provides efficient distance prediction with scalable measurements, brings benefits to various network applications. Phoenix Network Coordinate system ...
174
click to vote
RTSS
2003
IEEE
15 years 10 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...
134
click to vote
CDC
2010
IEEE
15 years 11 hour ago
2010
IEEE
Motivated by current technological advances in the design of real-time embedded systems, this work deals with the digital control of a continuous-time linear time-invariant (LTI) s...