咨询与建议

限定检索结果

文献类型

  • 35 篇 期刊文献
  • 13 篇 会议

馆藏范围

  • 48 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 18 篇 理学
    • 12 篇 数学
    • 8 篇 系统科学
    • 3 篇 生物学
    • 3 篇 统计学(可授理学、...
    • 2 篇 化学
  • 18 篇 工学
    • 14 篇 控制科学与工程
    • 8 篇 计算机科学与技术...
    • 7 篇 软件工程
    • 3 篇 机械工程
    • 2 篇 动力工程及工程热...
    • 2 篇 化学工程与技术
    • 2 篇 农业工程
    • 2 篇 环境科学与工程(可...
    • 1 篇 仪器科学与技术
    • 1 篇 材料科学与工程(可...
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 交通运输工程
    • 1 篇 生物工程
    • 1 篇 安全科学与工程
  • 4 篇 管理学
    • 4 篇 管理科学与工程(可...
    • 4 篇 工商管理
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学

主题

  • 5 篇 model predictive...
  • 5 篇 optimal control
  • 4 篇 robust control
  • 4 篇 lyapunov functio...
  • 3 篇 conferences
  • 3 篇 hierarchical con...
  • 2 篇 valves
  • 2 篇 observers
  • 2 篇 fuel cells
  • 2 篇 lyapunov methods
  • 2 篇 predictive model...
  • 2 篇 real-time system...
  • 2 篇 production
  • 2 篇 hydrogen
  • 2 篇 nonlinear system...
  • 2 篇 dynamic programm...
  • 2 篇 artificial neura...
  • 2 篇 linear systems
  • 1 篇 power demand
  • 1 篇 time-varying sys...

机构

  • 7 篇 automatic contro...
  • 5 篇 automatic contro...
  • 5 篇 technische unive...
  • 4 篇 technische unive...
  • 4 篇 technische unive...
  • 3 篇 department of bi...
  • 2 篇 dipartimento di ...
  • 2 篇 technische unive...
  • 2 篇 skolkovo institu...
  • 2 篇 technische unive...
  • 2 篇 automatic contro...
  • 2 篇 technische unive...
  • 2 篇 automatic contro...
  • 2 篇 technische unive...
  • 2 篇 istituto di sist...
  • 1 篇 school of cognit...
  • 1 篇 department of ps...
  • 1 篇 neural basis of ...
  • 1 篇 school of mathem...
  • 1 篇 informatics univ...

作者

  • 24 篇 stefan streif
  • 23 篇 streif stefan
  • 8 篇 felix petzke
  • 6 篇 schmidt patrick
  • 5 篇 osinenko pavel
  • 5 篇 grigory devadze
  • 5 篇 devadze grigory
  • 4 篇 hempel arne-jens
  • 3 篇 kobelski alexand...
  • 3 篇 petzke felix
  • 3 篇 michael hauck
  • 3 篇 rania tafat
  • 3 篇 padmanabha mural...
  • 3 篇 patrick schmidt
  • 2 篇 lukas munser
  • 2 篇 lars flessing
  • 2 篇 tafat rania
  • 2 篇 kiran kumar sath...
  • 2 篇 thomas göhrt
  • 2 篇 göhrt thomas

语言

  • 45 篇 英文
  • 3 篇 其他
检索条件"机构=Automatic Control and System Dynamics Lab"
48 条 记 录,以下是21-30 订阅
排序:
Extraction of a computer-certified ODE solver
arXiv
收藏 引用
arXiv 2021年
作者: Devadze, Grigory Flessing, Lars Streif, Stefan Technische Universitt Chemnitz Automatic Control and System Dynamics Lab Germany
Reliably determining system trajectories is essential in many analysis and control design approaches. To this end, an initial value problem has to be usually solved via numerical algorithms which rely on a certain sof... 详细信息
来源: 评论
Synthesis of Lyapunov functions using formal verification
arXiv
收藏 引用
arXiv 2021年
作者: Munser, Lukas Devadze, Grigory Streif, Stefan Technische Universität Chemnitz Automatic Control and System Dynamics Lab Germany
Recent employments of SMT solvers within the Lyapunov function synthesis provided effective tools for automated construction of Lyapunov functions alongside with sound computer-assisted certificates. The main benefit ... 详细信息
来源: 评论
Synthesis of interconnected control systems under reachability specifications
Synthesis of interconnected control systems under reachabili...
收藏 引用
IEEE Conference on Decision and control
作者: Mohammad Al Khatib Stefan Streif Automatic Control and System Dynamics Lab Technische Universität Chemnitz Chemnitz Germany
In this work we synthesize constrained control laws in a compositional way to enforce a reachability specification for an interconnected control system. We first synthesize for each system a controller enforcing a loc... 详细信息
来源: 评论
Formal verification of a controller implementation in fixed-point arithmetic
arXiv
收藏 引用
arXiv 2021年
作者: Flessing, Lars Devadze, Grigory Streif, Stefan The Automatic Control and System Dynamics Lab Technische Universität Chemnitz Chemnitz Germany
For the implementations of controllers on digital processors, certain limitations, e.g. in the instruction set and register length, need to be taken into account, especially for safety-critical applications. This work... 详细信息
来源: 评论
Tracking of stabilizing, optimal control in fixed-time based on time-varying objective function
Tracking of stabilizing, optimal control in fixed-time based...
收藏 引用
IEEE Conference on Decision and control
作者: Patrick Schmidt Thomas Göhrt Stefan Streif Technische Universität Chemnitz Automatic Control and System Dynamics Lab Chemnitz Germany
The controller of an input-affine system is determined through minimizing a time-varying objective function, where stabilization is ensured via a Lyapunov function decay condition as constraint. This constraint is inc... 详细信息
来源: 评论
Tracking of stabilizing, optimal control in fixed-time based on time-varying objective function
arXiv
收藏 引用
arXiv 2021年
作者: Schmidt, Patrick Göhrt, Thomas Streif, Stefan Technische Universität Chemnitz Automatic Control and System Dynamics Lab Chemnitz09126 Germany
The controller of an input-affine system is determined through minimizing a time-varying objective function, where stabilization is ensured via a Lyapunov function decay condition as constraint. This constraint is inc... 详细信息
来源: 评论
Generating a robustly stabilizable class of nonlinear systems for the converse optimality problem
arXiv
收藏 引用
arXiv 2021年
作者: Tafat, Rania Göhrt, Thomas Streif, Stefan Technische Universität Chemnitz Chemnitz09126 Germany Automatic Control and System Dynamics Lab Germany
Converse optimality theory addresses an optimal control problem conversely where the system is unknown and the value function is chosen. Previous work treated this problem both in continuous and discrete time and non-... 详细信息
来源: 评论
Global Observability Analysis of a Growth Model for Insects Farming
Global Observability Analysis of a Growth Model for Insects ...
收藏 引用
European control Conference (ECC)
作者: Rania Tafat Jaime A. Moreno Stefan Streif Technische Universität Chemnitz Chemnitz Germany Automatic Control and System Dynamics Lab Eléctrica y Computación Instituto de Ingeniería-UNAM Universidad Nacional Autónoma de México Department of Bioresources Fraunhofer Institute for Molecular Biology and Applied Ecology Giessen Germany
The Hermetia illucens insects or the black soldier fly has been attracting a growing interest in the food and feed industry. For its high nutritional value on the one hand, and because it is an adequate species for in... 详细信息
来源: 评论
Global observability analysis of a growth model for insects farming
arXiv
收藏 引用
arXiv 2024年
作者: Tafat, Rania Moreno, Jaime A. Streif, Stefan The Technische Universität Chemnitz Chemnitz09126 Germany Automatic Control and System Dynamics Lab The Eléctrica y Computación Instituto de Ingeniería UNAM Universidad Nacional Autónoma de México Mexico The Fraunhofer Institute for Molecular Biology and Applied Ecology Department of Bioresources Giessen Germany
The Hermetia illucens insects or the black soldier fly has been attracting a growing interest in the food and feed industry. For its high nutritional value on the one hand, and because it is an adequate species for in... 详细信息
来源: 评论
Prototypical Description and controller Design for a Set of systems Using ν-gap Based Clustering
收藏 引用
IFAC-PapersOnLine 2020年 第2期53卷 4623-4628页
作者: Lukas Munser Arne-Jens Hempel Grigory Devadze Stefan Streif Technische Universität Chemnitz Automatic Control and System Dynamics Lab Germany
We present an approach to design stabilizing controllers for a set of linear systems without restrictions regarding their modeling order. To this end, the systems are treated as abstract objects in the space of the ν... 详细信息
来源: 评论