3565 search results - page 302 / 713 » Modeling a system controller for timing analysis |
160
click to vote
HYBRID
1998
Springer
15 years 8 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
135
click to vote
ANSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a simulation performance improvement of the application of the Multicomponent Discrete Time System Specification (MultiDTSS) formalism to a fire spread. Multic...
174
click to vote
TDSC
2008
15 years 4 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
102
click to vote
ISCAS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents interleaved buck converters using a switching rule based on winner-take-all nonlinearity. The switching rule can realize flexible phase control and the system...
176
click to vote
EVOW
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We describe a set of preliminary experiments to evolve spiking neural controllers for a vision-based mobile robot. All the evolutionary experiments are carried out on phy...