An Iterative Abstraction Algorithm for Reactive Correct-By-Construction Controller Synthesis

doi 10.1109/cdc.2015.7403186
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

An Iterative Heuristic Algorithm for Tree Decomposition

Studies in Computational Intelligence
Artificial Intelligence
2008English

An Iterative Image Registration Algorithm by Optimizing Similarity Measurement

Journal of Research of the National Institute of Standards and Technology
Engineering
2010English

A Correct-By-Construction Model for Asynchronously Communicating Systems

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

Restoration of Astronomical Images by an Iterative Superresolution Algorithm

Astronomy and Astrophysics
AstrophysicsAstronomyPlanetary ScienceSpace
2003English

Transitory Control Algorithm of Reactive Current for LSC of BDFIG Based Fuzzy Controller

International Journal of Innovative Technology and Exploring Engineering
Mechanics of MaterialsElectronic EngineeringCivilStructural EngineeringElectricalComputer Science
2020English

Improving the Convergence of an Iterative Algorithm Proposed by Waxman

Journal of Physics A: Mathematical and General
2006English

Linear MIMO Controller Design for an Industrial Reactive Distillation Column

IFAC Proceedings Volumes
2001English

Decoding Real-Field Codes by an Iterative Expectation-Maximization (EM) Algorithm

2008 IEEE International Conference on Acoustics, Speech and Signal Processing
2008English

An Iterative Algorithm for System of Mixed Variational-Like Inequalities

Journal of Mathematical Inequalities
Analysis
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy