Compositional Synthesis of Safety Controllers

doi 10.3990/1.9789036534871
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

University Library/University of Twente

Related search

Synthesis of Behavioral Controllers for DES: Increasing Efficiency

IFAC Proceedings Volumes
2010English

Checking Subsystem Safety Properties in Compositional Reachability Analysis

English

Automatic Synthesis of Assumptions for Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Data Driven Synthesis of Three Term Digital Controllers

SICE Journal of Control, Measurement, and System Integration
2008English

Lab Automation Parallel Synthesis Reactors Temperature Controllers

Chemical and Engineering News
Chemical Engineering
2002English

Mimo Pid Controllers Synthesis Using Orthogonal Functions

IFAC Proceedings Volumes
2005English

Synthesis of Circular Compositional Program Proofs via Abduction

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2015English

Nondeterminism Avoidance in Compositional Synthesis of Discrete Event Systems

2011English

Analysis and Synthesis of State-Feedback Controllers With Timing Jitter

IEEE Transactions on Automatic Control
ControlSystems EngineeringComputer Science ApplicationsElectricalElectronic Engineering
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy