Photo from wikipedia
Sign Up to like & get
recommendations!
0
Published in 2021 at "Applied Mathematical Modelling"
DOI: 10.1016/j.apm.2021.07.039
Abstract: Abstract This paper is to explore the dynamical analysis and active control synthesis for improving seaport operations through system optimization. First, the multi-dimensional system of the fractional Lotka-Volterra model is utilized to investigate its underlying…
read more here.
Keywords:
container throughput;
control synthesis;
seaport operations;
management ... See more keywords
Sign Up to like & get
recommendations!
1
Published in 2020 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2021.04.128
Abstract: In this paper we consider a mobile platform controlled by two entities; an autonomousagent and a human user. The human aims for the mobile platform to complete a task, whichwe will denote as the hu…
read more here.
Keywords:
control synthesis;
control;
task;
synthesis estimating ... See more keywords
Photo from wikipedia
Sign Up to like & get
recommendations!
0
Published in 2018 at "Journal of theoretical biology"
DOI: 10.1016/j.jtbi.2018.04.003
Abstract: An effective and patient-specific feedback control synthesis for inflammation resolution is still an ongoing research area. A strategy consisting of manipulating a pro and anti-inflammatory mediator is considered here as used in some promising model-based…
read more here.
Keywords:
model free;
control;
feedback control;
control synthesis ... See more keywords
Photo from wikipedia
Sign Up to like & get
recommendations!
1
Published in 2019 at "Machining Science and Technology"
DOI: 10.1080/10910344.2019.1652310
Abstract: Abstract This paper aims to analyze the dynamic stability and build the robust controller for motorized spindle system under parametric variations, external disturbances and measurement noises. A nonlinear model has been established for the machine…
read more here.
Keywords:
machine;
synthesis cnc;
robust control;
control synthesis ... See more keywords
Sign Up to like & get
recommendations!
1
Published in 2022 at "IEEE Control Systems Letters"
DOI: 10.1109/lcsys.2022.3228726
Abstract: This letter develops a novel control synthesis method for safe stabilization of control-affine systems as a Differential Complementarity Problem (DCP). Our design uses a control Lyapunov function (CLF) and a control barrier function (CBF) to…
read more here.
Keywords:
safety;
control;
control synthesis;
complementarity ... See more keywords
Photo from wikipedia
Sign Up to like & get
recommendations!
2
Published in 2023 at "IEEE Control Systems Letters"
DOI: 10.1109/lcsys.2023.3251575
Abstract: We show how it is possible to synthesize a stabilizing feedback control, in the complete absence of a model, starting from the open-loop control generated by an expert operator, capable of driving a system to…
read more here.
Keywords:
control;
control synthesis;
feedback control;
model free ... See more keywords
Sign Up to like & get
recommendations!
2
Published in 2022 at "IEEE Robotics and Automation Letters"
DOI: 10.1109/lra.2022.3182544
Abstract: This paper considers safe control synthesis for dynamical systems with either probabilistic or worst-case uncertainty in both the dynamics model and the safety constraints. We formulate novel probabilistic and robust (worst-case) control Lyapunov function (CLF)…
read more here.
Keywords:
safe control;
worst case;
control;
control synthesis ... See more keywords
Photo from wikipedia
Sign Up to like & get
recommendations!
0
Published in 2020 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2019.2910949
Abstract: General-purpose correct-by-construction synthesis methods are limited to systems with low dimensionality or simple specifications. In this paper, we consider highly symmetrical counting problems and exploit the symmetry to synthesize provably correct controllers for systems with…
read more here.
Keywords:
counting constraints;
control synthesis;
synthesis;
synthesis permutation ... See more keywords
Sign Up to like & get
recommendations!
0
Published in 2021 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2020.2989268
Abstract: Temporal logic provides a rigorous and expressive way to model specifications for cyber-physical systems (CPS). Such systems, which are playing increasingly important roles in various domains, are also subject to malicious attacks initiated by intelligent…
read more here.
Keywords:
physical systems;
control synthesis;
control;
cyber physical ... See more keywords
Sign Up to like & get
recommendations!
2
Published in 2023 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2022.3152721
Abstract: This technical article is concerned with the bumpless transfer control synthesis of a class of discrete-time switched linear systems with general persistent dwell-time (PDT) switching signals. A novel piecewise transition-dependent controller facilitating the control synthesis…
read more here.
Keywords:
switched linear;
control;
transfer control;
control synthesis ... See more keywords
Sign Up to like & get
recommendations!
1
Published in 2018 at "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"
DOI: 10.1109/tcad.2018.2858464
Abstract: This paper employs correct-by-construction control synthesis, in particular controlled invariant set computations, for falsification. Our hypothesis is that if it is possible to compute a “large enough” controlled invariant set either for the actual system…
read more here.
Keywords:
controlled invariant;
control;
corner cases;
control synthesis ... See more keywords