2366 search results - page 17 / 474 » Pfaffian Hybrid Systems |
140
click to vote
ICS
2011
Tsinghua U.
14 years 3 months ago
2011
Tsinghua U.
Phase-Change Memory (PCM) technology has received substantial attention recently. Because PCM is byte-addressable and exhibits access times in the nanosecond range, it can be used...
125
click to vote
AAAI
2012
13 years 2 months ago
2012
A tailored model of a system is the prerequisite for various analysis tasks, such as anomaly detection, fault identification, or quality assurance. This paper deals with the algo...
211
click to vote
PERVASIVE
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. In this paper, we introduce CityCompiler, an integrated environment for the iteration-based development of spatial interactive systems. CityCompiler visualizes interactiv...
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
114
click to vote
EMSOFT
2011
Springer
13 years 11 months ago
2011
Springer
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...