检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

2,115 篇 会议
22 篇 期刊文献

馆藏范围

2,137 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

875 篇 工学
- 715 篇 控制科学与工程
- 504 篇 计算机科学与技术...
- 421 篇 软件工程
- 163 篇 机械工程
- 146 篇 电气工程
- 55 篇 力学（可授工学、理...
- 51 篇 建筑学
- 49 篇 电子科学与技术（可...
- 46 篇 信息与通信工程
- 43 篇 动力工程及工程热...
- 42 篇 航空宇航科学与技...
- 35 篇 化学工程与技术
- 16 篇 土木工程
- 16 篇 交通运输工程
- 15 篇 仪器科学与技术
- 13 篇 生物医学工程（可授...
- 11 篇 光学工程
- 11 篇 材料科学与工程（可...
- 10 篇 船舶与海洋工程
- 9 篇 冶金工程
512 篇 理学
- 446 篇 数学
- 87 篇 系统科学
- 73 篇 物理学
- 50 篇 统计学（可授理学、...
- 21 篇 化学
89 篇 管理学
- 88 篇 管理科学与工程(可...
- 24 篇 工商管理
36 篇 艺术学
- 36 篇 设计学（可授艺术学...
11 篇 教育学
- 11 篇 教育学
8 篇 经济学
4 篇 医学
3 篇 法学
3 篇 军事学

主题

672 篇 control systems
217 篇 control system s...
173 篇 automatic contro...
147 篇 mathematical mod...
146 篇 robust control
111 篇 nonlinear contro...
110 篇 optimal control
104 篇 uncertainty
93 篇 process control
92 篇 robustness
91 篇 algorithm design...
86 篇 computational mo...
86 篇 adaptive control
85 篇 application soft...
80 篇 matlab
77 篇 polynomials
75 篇 equations
70 篇 stability
70 篇 testing
69 篇 packaging

机构

11 篇 department of au...
10 篇 laas cnrs toulou...
9 篇 georgia inst of ...
9 篇 dipartimento di ...
7 篇 department of el...
7 篇 tokyo inst of te...
6 篇 california inst ...
6 篇 lund inst of tec...
6 篇 purdue univ at i...
5 篇 control design e...
5 篇 department of au...
5 篇 ford research la...
5 篇 department of el...
5 篇 ieee
5 篇 keio univ yokoha...
5 篇 iav gmbh
5 篇 honeywell techno...
4 篇 dipartimento di ...
4 篇 school of electr...
4 篇 massachusetts in...

作者

12 篇 a. varga
9 篇 j.m. maciejowski
9 篇 m. szymkat
9 篇 g. grubel
8 篇 o. ravn
8 篇 alberto leva
7 篇 long wang
6 篇 guisheng zhai
6 篇 lyshevski sergey...
6 篇 j.h. taylor
6 篇 g.k.h. pang
6 篇 m. sebek
6 篇 s. engell
6 篇 r. finsterwalder
6 篇 s.e. mattsson
6 篇 hara shinji
5 篇 engell sebastian
5 篇 f. giri
5 篇 c.p. jobling
5 篇 s. van huffel

语言

2,134 篇 英文
2 篇 其他
1 篇 中文

检索条件"任意字段=IEEE International Symposium on Computer Aided Control System Design, CACSD 2002"

共 2137 条记录，以下是51-60 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Improving approximate reachability by dynamic interleavings of projections-based algorithms

Improving approximate reachability by dynamic interleavings ...

引用

2013 ieee Conference on computer aided control system design, cacsd 2013

作者： Jayasankar, Seetha Chakraborty, Supratik Indian Institute of Technology Bombay India

ISBN: (纸本)9781479915651

Finding the set of reachable states of a digital control circuit has important applications in synthesis, analysis and verification of digital control systems. The literature contains a wide range of reachability analysis algorithms, including exact and approximate ones, with complementary or even incomparable strengths. Given a problem instance, it is practically impossible to statically identify the algorithm that would offer the best trade-off between performance and synthesis/verification objectives. In this paper, we focus on projections-based approximate reachability analysis algorithms and show that dynamically interleaving these algorithms can outperform not only the individual algorithms, but also other state-of-the-art tools. We demonstrate the effectiveness of our idea by a set of experiments. © 2013 ieee.

关键词： Digital control systems

来源：评论

学校读者我要写书评

暂无评论

Fractional-order controller design and digital implementation using FOMCON toolbox for MATLAB

Fractional-order controller design and digital implementatio...

引用

2013 ieee Conference on computer aided control system design, cacsd 2013

作者： Tepljakov, Aleksei Petlenkov, Eduard Belikov, Juri Finajev, Jevgeni Department of Computer Control Tallinn University of Technology Tallinn 19086 Estonia Institute of Cybernetics Tallinn University of Technology Akadeemia tee 21 12618 Tallinn Estonia

ISBN: (纸本)9781479915651

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 realization. An overview of the toolbox, its structure and particular modules, is presented with appropriate comments. We use a laboratory object designed to conduct temperature control experiments to illustrate the methods employed in FOMCON to derive suitable parameters for the controller and arrive at a digital implementation thereof on an 8-bit AVR microprocessor. The laboratory object is working under a real-time simulation platform with Simulink, Real-Time Windows Target toolbox and necessary drivers as its software backbone. Experimental results are provided which support the effectiveness of the proposed software solution. © 2013 ieee.

关键词： MATLAB

来源：评论

学校读者我要写书评

暂无评论

Characterizing feedback signal drop patterns in formal verification of networked control systems

Characterizing feedback signal drop patterns in formal verif...

引用

2013 ieee Conference on computer aided control system design, cacsd 2013

作者： Goswami, Dip Chakraborty, Samarjit Bhaduri, Purandar Mitter, Sanjoy K. Institute for Real-Time Computer Systems TU Munich Germany Department of Computer Science and Engineering IIT Guwahati India Laboratory for Information and Decision Systems MIT United States

ISBN: (纸本)9781479915651

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 presence of control message drops. Towards this, different methods have been proposed to quantify the impact of message drops on stability and control performance. In this paper we will survey these techniques and clarify the relationship between them. Given a drop pattern that satisfies stability and specified QoC constraints, it is important to check whether an implementation platform satisfies this pattern. In other words, whether the control loop in question may be implemented on this platform. Given an architecture, we will also show how certain notions of expressing drop patterns are easier to verify compared to others. © 2013 ieee.

关键词： Drops

来源：评论

学校读者我要写书评

暂无评论

systems modeling, analysis and control (SMAC) toolbox: An insight into the robustness analysis library

Systems modeling, analysis and control (SMAC) toolbox: An in...

引用

2013 ieee Conference on computer aided control system design, cacsd 2013

作者： Roos, Clément Toulouse France

ISBN: (纸本)9781479915651

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. These tools allow to compute both lower and upper bounds on the (skewed) robust stability margin, the worst-case H∞ performance level, as well as the worst-case gain, phase, modulus and time-delay margins. The key idea is to solve the problem on just a coarse frequency grid and to perform a fast validation on the whole frequency range, which results in guaranteed but conservative bounds on the aforementioned quantities. Some heuristics are then applied to determine a set of worst-case parametric configurations leading to over-optimistic bounds. A branch and bound scheme is finally implemented, so as to tighten these bounds with the desired accuracy, while still guaranteeing a reasonable computational complexity. © 2013 ieee.

关键词： Linear time-invariant system

来源：评论

学校读者我要写书评

暂无评论

PolyRMPC: A new Matlab toolbox to robustify predictive controllers under unstructured and structured uncertainties

PolyRMPC: A new Matlab toolbox to robustify predictive contr...

引用

2013 ieee Conference on computer aided control system design, cacsd 2013

作者： Preda, V. Stoica, C. Rodríguez-Ayerbe, P. Dumur, D. Politehnica University of Bucharest Faculty of Automatic Control and Computer Science 313 Splaiul Independentei Bucharest 060032 Romania Automatic Control Department 3 rue Joliot Curie F-91192 Gif-sur-Yvette Cedex France

ISBN: (纸本)9781479915651

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 the possibility to develop an initial stabilizing predictive controller to handle both Single-Input Single-Output or multivariable systems. Using the Youla-Kuera parametrization, this initial control law can be further robustified under unstructured and polytopic uncertainties, while respecting time-domain specifications for disturbances rejection. Due to its visualization facilities, the performances of the developed controllers can be easily analyzed and compared in both time and frequency domains. Combining Object Oriented Programming with Matlab Graphical User Interface, this toolbox is built on top of a clear solid framework offering the possibility to extend and update the software design. © 2013 ieee.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Online failure diagnosis of stochastic discrete event systems

Online failure diagnosis of stochastic discrete event system...

引用

2013 ieee Conference on computer aided control system design, cacsd 2013

作者： Chen, Jun Kumar, Ratnesh Department of Electrical and Computer Engineering Iowa State University Ames IA 50011 United States

ISBN: (纸本)9781479915651

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 stochastic diagnosability (S-Diagnosability) property. To the best of our knowledge, this is a first paper that investigates the online detection schemes and also introduces the notions of their missed detections (MDs) and false alarms (FAs), and we establish that S-Diagnosability is a necessary and sufficient condition for achieving any desired levels of MD and FA rates. Next we provide a detection scheme, that can achieve the specified MD and FA rates, based on comparing a suitable detection statistic, that we define, with a suitable detection threshold, that we algorithmically compute. We also algorithmically compute the corresponding detection delay bound. The detection scheme also works for non-S-Diagnosable systems, with the difference that in this case only any FA rate can be met, and there exists a minimum MD rate that increases as FA rate is decreased. © 2013 ieee.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

NLcontrol: Symbolic package for study of nonlinear control systems

NLControl: Symbolic package for study of nonlinear control s...

引用

2013 ieee Conference on computer aided control system design, cacsd 2013

作者： Belikov, Juri Kotta, Ülle Tõnso, Maris Institute of Cybernetics Tallinn University of Technology Akadeemia tee 21 12618 Tallinn Estonia

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... 详细信息

ISBN: (纸本)9781479915651

关键词： control system synthesis

来源：评论

学校读者我要写书评

暂无评论

Sequential randomized algorithms for sampled convex optimization

Sequential randomized algorithms for sampled convex optimiza...

引用

2013 ieee Conference on computer aided control system design, cacsd 2013

作者： Chamanbaz, Mohammadreza Dabbene, Fabrizio Tempo, Roberto Venkataramanan, Venkatakrishnan Wang, Qing-Guo Data Storage Institute Singapore Singapore CNR-IEIIT Torino Italy Department of Electrical and Computer Engineering National University of Singapore Singapore

ISBN: (纸本)9781479915651

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 partial constraint satisfaction, respectively. A rigorous analysis of the theoretical properties of the algorithms is provided, and the related sample complexity is derived. Extensive numerical simulations for a non-trivial example testify the goodness of the proposed solution. © 2013 ieee.

关键词： Convex optimization

来源：评论

学校读者我要写书评

暂无评论

2013 ieee Conference on computer aided control system design, cacsd 2013

2013 IEEE Conference on Computer Aided Control System Design...

引用

2013 ieee Conference on computer aided control system design, cacsd 2013

ISBN: (纸本)9781479915651

The proceedings contain 15 papers. The topics discussed include: handling fault detection latencies in automata-based scheduling for embedded control software;a mixed approach to rigorous development of control designs;characterizing feedback signal drop patterns in formal verification of networked control systems;scalable model-checking for precise end-to-end latency computation;improving approximate reachability by dynamic interleavings of projections-based algorithms;robust fixed order controller design by a mixed randomized/deterministic method;systems modeling, analysis and control (SMAC) toolbox: an insight into the robustness analysis library;sequential randomized algorithms for sampled convex optimization;online failure diagnosis of stochastic discrete event systems;NLcontrol: symbolic package for study of nonlinear control systems;PolyRMPC: a new Matlab toolbox to robustify predictive controllers under unstructured and structured uncertainties;and free computer-aided control system design (cacsd) tools for GNU octave.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A mixed approach to rigorous development of control designs

A mixed approach to rigorous development of control designs

引用

2013 ieee Conference on computer aided control system design, cacsd 2013

作者： Satpathy, M. Ramesh, S. Snook, C. Singh, N.K. Butler, M. Indian Institute of Technology Bhubaneswar Orissa India Global GM R and D Warren United States School of Electronics and Computer Science University of Southampton United Kingdom Univ. of York United Kingdom

ISBN: (纸本)9781479915651

The control law of a typical industrial system has a modulating (continuous) component and a sequential/modal component. control engineers are traditionally good at specifying the modulating part of the control laws unambiguously, correctly and completely. Software engineers have similar skills on the sequential component. In this paper, we discuss a mixed approach in which software and control engineers collaborate to develop control designs. The proposed approach is based upon a novel modeling notation called RRM diagrams. A formal refinement method based on RRM diagrams is developed which enables the development of sequential components as well as control designs. We illustrate our method by considering the case study of a simplified Adaptive Cruise controller (ACC). © 2013 ieee.

关键词： Engineers

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共214页 << < 2 3 4 5 6 7 8 9 10 11 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：