26151 search results - page 327 / 5231 » Parameterized system design |
156
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
We present a method for estimating the domain of attraction of the origin for a system under a saturated linear feedback. A simple condition is derived in terms of an auxiliary fe...
181
click to vote
JDCTA
2010
15 years 1 months ago
2010
Combining with the characteristics of equestrian sports and the psycho diagnosis technology and using the tools such as Visual Basic, Photoshop, Microsoft Access, Psychodiagnosis ...
177
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Feedback of channel state information (CSI) is necessary to achieve high throughput and low outage probability in multiuser multiantenna systems. There are two types of CSI: direc...
154
click to vote
SECURWARE
2007
IEEE
16 years 1 months ago
2007
IEEE
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirement...
127
click to vote
LFCS
1997
Springer
15 years 11 months ago
1997
Springer
The paper is devoted to the investigation of behavioural equivalences of concurrent systems modelled by Petri nets. Back-forth bisimulation equivalences known from the literature a...