2366 search results - page 17 / 474 » Pfaffian Hybrid Systems |
ICS
2011
Tsinghua U.
13 years 1 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...
AAAI
2012
12 years 6 days 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...
PERVASIVE
2011
Springer
13 years 20 days 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
14 years 4 months ago
2010
Springer
EMSOFT
2011
Springer
12 years 9 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...