Sciweavers

11716 search results - page 44 / 2344
» Computable symbolic dynamics
Sort
View
ICS
2001
Tsinghua U.
15 years 4 months ago
Fractal symbolic analysis
Nikolay Mateev, Vijay Menon, Keshav Pingali
SPIN
2000
Springer
15 years 3 months ago
Bebop: A Symbolic Model Checker for Boolean Programs
Thomas Ball, Sriram K. Rajamani
SPIN
2010
Springer
14 years 10 months ago
Symbolic Object Code Analysis
Jan Tobias Mühlberg, Gerald Lüttgen
CDC
2009
IEEE
133views Control Systems» more  CDC 2009»
15 years 4 months ago
A symbolic model approach to the digital control of nonlinear time-delay systems
— In this paper we propose an approach to control design of nonlinear time–delay systems, which is based on the construction of symbolic models, where each symbolic state and e...
Giordano Pola, Pierdomenico Pepe, Maria Domenica D...