Sciweavers

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

9

AUTOMATICA
1999

favoriteEmaildiscussreport

50views more AUTOMATICA 1999»

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

13 years 4 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)