Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

25

AUTOMATICA
1999

favoriteEmaildiscussreport

50views more AUTOMATICA 1999»

Verification of logic controllers for continuous plants using timed condition/event-system models

13 years 10 months ago

Verification of logic controllers for continuous plants using timed condition/event-system models

Download www-verimag.imag.fr

Stefan Kowalewski, Sebastian Engell, Jörg Pre

Real-time Traffic

AUTOMATICA 1999 |

claim paper

Related Content

» Timed Petri Nets in Hybrid Systems Stability and Supervisory Control

» Verification of PLC Programs Given as Sequential Function Charts

» Computing Optimal Operation Schemes for Chemical Plants in Multibatch Mode

» Verification and Optimization of a PLC Control Schedule

» Incremental Verification for OntheFly Controller Synthesis

» Integrating Discrete and ContinuousTime Metric Temporal Logics Through Sampling

» Timed automaton models for simple programmable logic controllers

» Advances in Probabilistic Model Checking

» Behavior verification of hybrid realtime requirements by qualitative formalism

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	1999
Where	AUTOMATICA
Authors	Stefan Kowalewski, Sebastian Engell, Jörg Preußig, Olaf Stursberg

Comments (0)