31 skills found · Page 1 of 2
funannoka / SoC Design DDR3 ControllerDDR3 SDRAM Memory Controller Design & Synthesis using System Verilog
attaoveisi / Disturbance ObserverIn this note, disturbance rejection control (DRC) based on unknown input observation (UIO), and disturbance-observer based control (DOBC) methods are revisited for a class of MIMO systems with mismatch disturbance conditions. In both of these methods, the estimated disturbance is considered to be in the feedback channel. The disturbance term could represent either unknown mismatched signals penetrating the states, or unknown dynamics not captured in the modeling process, or physical parameter variations not accounted for in the mathematical model of the plant. Unlike the high-gain approaches and variable structure methods, a systematic synthesis of the state/disturbance observer-based controller is carried out. For this purpose, first, using a series of singular value decompositions, the linearized plant is transformed into disturbance-free and disturbance-dependent subsystems. Then, functional state reconstruction based on generalized detectability concept is proposed for the disturbance-free part. Then, a DRC based on quadratic stability theorem is employed to guarantee the performance of the closed-loop system. An important contribution offered in this article is the independence of the estimated disturbance from the control input which seem to be missing in the literature for disturbance decoupling problems. In the second method, DOBC is reconsidered with the aim of achieving a high level of robustness against modeling uncertainties and matched/mismatched disturbances, while at the same time retaining performance. Accordingly, unlike the first method, DRC, full information state observation is developed independent of the disturbance estimation. An advantage of such a combination is that disturbance estimation does not involve output derivatives. Finally, the case of systems with matched disturbances is presented as a corollary of the main results.
meyerphi / StrixStrix is a tool for reactive synthesis of controllers from LTL specifications.
TUMcps / AROCToolbox for Automated Controller Synthesis
mengyuest / Stl Npc[RA-L/ICRA2024] A differentiable robot learning framework for task specifications and controller synthesis.
umangm / RealsynAutomated Controller Synthesis
tzanis-anevlavis / Cis2mControlled Invariant Sets in Two Moves
ShaoruChen / Time Delay Robust SLS MPCRobust model predictive control of discrete-time time-delay systems using System Level Synthesis (linear time-varying state feedback controllers).
sreachtools / SReachToolsMATLAB toolbox for stochastic reachability (probabilistic verification and controller synthesis)
Kiguli / IMPaCTIMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems. IMPaCT is an open-source software tool for the parallelized verification and controller synthesis of large-scale stochastic systems using interval Markov chains (IMCs) and interval Markov decision processes (IMDPs).
keelanstuart / TheremineAn optical Theremin that uses the Leap Motion controller to alter waveform synthesis
dsadigh / CrSPrSTLController Synthesis for Probabilistic Signal Temporal Logic Specifications
aaltoKEPO / SystemLevelControl.jlA toolbox for controller design using the System Level Synthesis (SLS) methodology
LAVA-LAB / DynAbsController synthesis for uncertain dynamical systems via formal abstractions
bsamadi / PWATOOLSA set of tools for piecewise affine (PWA) systems: approximation of nonlinear systems by PWA systems, stability analysis of PWA systems and controller synthesis for PWA systems
GabbedT / UART ControllerUART controller that uses a master-slave architecture to enstablish a communication with the other device during the configuration process. This repository provides RTL code and testbench for the device synthesis and simulation, as well as a simple driver to use it in your system.
morxa / TacosMTL Controller Synthesis
gaperez64 / AbsSynthecontroller synthesis from succinct safety specifications
Kiguli / TRUSTTRUST: StabiliTy and Safety ContRoller Synthesis for Black-Box Systems Using a Single Trajectory
TUHH-ICS / 2023 Code ACC H2 Controller Synthesis For Multi Agent Systems With Stochastic Packet LossCode for the paper "Distributed H2 Controller Synthesis for Multi-Agent Systems with Stochastic Packet Loss" by C. Hespe, A. Datar, D. Schneider, H. Saadabadi, H. Werner and H. Frey
