5200 search results - page 84 / 1040 » Symbolic models for control systems |
FORMATS
2004
Springer
14 years 16 days ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
HASE
2007
IEEE
14 years 3 months ago
2007
IEEE
HICSS
1999
IEEE
14 years 1 months ago
1999
IEEE
Advances in EDI (Electronic Data Interchange) demand appropriate controls in order to realize the potential benefits from it. Formal, informal, and automated controls are basic pa...
ACSD
2009
IEEE
14 years 3 months ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
High order repetitive control has been introduced to overcome performance decay of repetitive control systems under varying frequency of the signals to be tracked/rejected or impro...