Amanote Research
Register
Sign In
Symbolic Synthesis and Verification of Hierarchical Interface-Based Supervisory Control
doi 10.1109/wodes.2006.382510
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2006
Authors
Unknown
Publisher
IEEE
Related search
Hierarchical Interface-Based Supervisory Control of a Bottling Plant
IFAC Proceedings Volumes
Verification of Supervisory Control Software Using State Proximity and Merging
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
DEPSCOR: Research on ARL's Intelligent Control Architecture: Hierarchical Hybrid-Model Based Design, Verification, Simulation, and Synthesis of Mission Control for Autonomous Underwater Vehicles
Verification of Dynamic Memory Allocators Based on Symbolic Program Execution
Scientific and Technical Journal of Information Technologies, Mechanics and Optics
Command-Based Supervisory Control of Discrete Event Systems
Transactions of the Society of Instrument and Control Engineers
Lyapunov-Based Switching Supervisory Control of Nonlinear Uncertain Systems
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Supervisory Control of Differentially Flat Systems Based on Abstraction
Security Protocol Verification: Symbolic and Computational Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Supervisory Control and Data Acquisition
International Journal of Computer Applications
