Verification of Supervisory Control Software Using State Proximity and Merging

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-78929-1_25
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer Berlin Heidelberg

Related search

Symbolic Synthesis and Verification of Hierarchical Interface-Based Supervisory Control

2006English

Modelling and Implementation of Supervisory Control Systems Using State Machines With Outputs

2012English

Supervisory Control Software Engineering for Oil Production Facilities

Scientific and Technical Volga region Bulletin
2018English

DIFFERENCING AND MERGING OF SOFTWARE DIAGRAMS - State of the Art and Challenges

2007English

Supervisory Control Using Variable Lookahead Policies

Discrete Event Dynamic Systems: Theory and Applications
ControlElectronic EngineeringSystems EngineeringSimulationElectricalModeling
1994English

An Approach to Self-Adaptive Software Based on Supervisory Control

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Supervisory Control and Data Acquisition

International Journal of Computer Applications
2014English

Supervisory Control of Switching Control Systems

2006English

Design and Implementation of Supervisory Control and Data Acquisition Based Manufacturing System Using PID Control

International Journal of Scientific and Research Publications (IJSRP)
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy