5200 search results - page 9 / 1040 » Symbolic models for control systems |
ICSE
1999
IEEE-ACM
14 years 26 days ago
1999
IEEE-ACM
RTSS
2009
IEEE
14 years 3 months ago
2009
IEEE
HYBRID
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...
ASPDAC
2001
ACM
14 years 8 days ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...