Verification of Embedded Supervisory Controllers Considering Hybrid Plant Dynamics

International Journal of Software Engineering and Knowledge Engineering - Singapore
doi 10.1142/s021819400500204x
Full Text
Abstract

Available in full text

Date
Authors
Publisher

World Scientific Pub Co Pte Lt

Related search

Logic Controllers Dependability Verification Using a Plant Model

IFAC Proceedings Volumes
2006English

Discrete-Time Supervisory Control of Families of Linear Set-Point Controllers

IFAC Proceedings Volumes
1996English

Design of Embedded Controllers Based on Anytime Computing

IEEE Transactions on Industrial Informatics
ControlSystems EngineeringInformation SystemsElectronic EngineeringComputer Science ApplicationsElectrical
2010English

Embedded Optimization-Based Controllers for Industrial Processes

2017English

Controllers for the Verification of Communicating Multi-Pushdown Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Verification of Supervisory Control Software Using State Proximity and Merging

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Symbolic Synthesis and Verification of Hierarchical Interface-Based Supervisory Control

2006English

Design of Fuzzy Controllers for Embedded Systems With JFML

International Journal of Computational Intelligence Systems
Computational MathematicsComputer Science
2019English

A Stopwatch Semantics for Hybrid Controllers

IFAC Proceedings Volumes
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy