There has been recent interest in automata-based scheduling for dynamic adaptation of schedules for embedded control software. Recently we have shown how automata-based scheduling can be extended to account for the po...
详细信息
Finding the set of reachable states of a digital control circuit has important applications in synthesis, analysis and verification of digital controlsystems. The literature contains a wide range of reachability anal...
详细信息
In this paper, we present the suite of tools of the FOMCON ("Fractional-order Modeling and control") toolbox for MATLAB that are used to carry out fractional-order PID controller design and hardware realizat...
详细信息
In order to obtain resource efficient implementations of control loops on embedded platforms, recently there has been a renewed interest in studying stability and various other quality-of-control (QoC) metrics in the ...
详细信息
The analysis library of the new SMAC Toolbox for Matlab implements a set of μ-analysis based tools to evaluate the robustness properties of linear time-invariant systems affected by time-invariant uncertainties. Thes...
详细信息
This paper introduces a controlsystem. This system consists of wireless video transmission module, wireless data transmission module, voice and ultrasonic anti-bird module, field of environmental parameters detection...
详细信息
This paper proposes a new Matlab toolbox to simplify the task of designing robustified Model Predictive controllers under both unstructured and structured uncertainties. With a user-friendly design, the toolbox offers...
详细信息
This paper deals with the detection of (permanent) fault in the setting of stochastic discrete-event systems (DESs) under partial observability of events. Prior works have only studied the verification of the stochast...
详细信息
The paper describes a specific software developed within Mathematica environment. The package consists of functions that assist the solution of different modeling, analysis, and synthesis problems for nonlinear contro...
详细信息
Motivated by the complexity of solving convex scenario problems in one-shot, two new algorithms for the sequential solution of sampled convex optimization problems are presented, for full constraint satisfaction and p...
详细信息
暂无评论