Automatic Synthesis of K-Inductive Piecewise Quadratic Invariants for Switched Affine Control Programs

Computer Languages, Systems and Structures - United Kingdom
doi 10.1016/j.cl.2015.12.002
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Configuration Selection for Reconfigurable Control of Piecewise Affine Systems

International Journal of Control
ControlSystems EngineeringComputer Science Applications
2015English

Piecewise Linear Quadratic Optimal Control

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

Observer-Based Control of Piecewise-Affine Systems

English

Quadratic Stabilization and Control of Piecewise-Linear Systems

1998English

ConPAHS - A Software Package for Control of Piecewise-Affine Hybrid Systems

2006English

Timed-Automata Abstraction of Switched Dynamical Systems Using Control Invariants

Real-Time Systems
ControlSystems EngineeringOptimizationElectronic EngineeringComputer NetworksSimulationCommunicationsComputer Science ApplicationsElectricalModeling
2017English

Switched Feedback Control for First-Order Symmetric Affine Systems via Time-State Control Form

Transactions of the Society of Instrument and Control Engineers
2002English

Output Feedback Control With Constraints for Nonlinear Systems via Piecewise Quadratic Optimization

Vietnam Journal of Science and Technology
2017English

A Tool for Automatic Parallelization of Affine Programs for Systems With Shared and Distributed Memory

Russian Technological Journal
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy