首页 > 最新文献

2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508)最新文献

英文 中文
DIRECTSD-a toolbox for polynomial design of multivariable sampled-data systems 多变量采样数据系统的多项式设计工具箱
K. Polyakov, E. Rosenwasser, B. Lampe
A multivariable version of the DIRECTSD toolbox for MATLAB is presented. The software realizes recently developed polynomial methods for H2-and L2-optimal sampled-data systems design on the basis of matrix operations for polynomials and quasi-polynomials using object-oriented programming in MATLAB
介绍了DIRECTSD工具箱的多变量版本。该软件在MATLAB面向对象编程的基础上,以多项式和拟多项式的矩阵运算为基础,实现了最近发展起来的用于h2和l2最优采样数据系统设计的多项式方法
{"title":"DIRECTSD-a toolbox for polynomial design of multivariable sampled-data systems","authors":"K. Polyakov, E. Rosenwasser, B. Lampe","doi":"10.1109/CACSD.2004.1393857","DOIUrl":"https://doi.org/10.1109/CACSD.2004.1393857","url":null,"abstract":"A multivariable version of the DIRECTSD toolbox for MATLAB is presented. The software realizes recently developed polynomial methods for H2-and L2-optimal sampled-data systems design on the basis of matrix operations for polynomials and quasi-polynomials using object-oriented programming in MATLAB","PeriodicalId":111199,"journal":{"name":"2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127918704","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Adaptive controller implementation into PLC library 自适应控制器实现成PLC库
T. Sysala, P. Dostál
This paper deals with the implementation of a self-tuning controller into a PLC (programmable logical controller) library. The polynomial method is used, and the parameters for controller are derived using delta-model together with the pole placement approach. The recursive least-squares method and directional forgetting are used to estimate the parameters of the delta-model. The algorithm was implemented in the Tecomat PLC library, product of Teco, Inc. The laboratory tests proved that the algorithm implementation was successful
本文讨论了在可编程逻辑控制器库中实现自整定控制器的方法。采用多项式方法,采用delta模型和极点配置方法推导控制器参数。采用递推最小二乘法和方向遗忘法对模型参数进行估计。该算法在Teco公司的Tecomat PLC库中实现。实验证明,该算法的实现是成功的
{"title":"Adaptive controller implementation into PLC library","authors":"T. Sysala, P. Dostál","doi":"10.1109/CACSD.2004.1393888","DOIUrl":"https://doi.org/10.1109/CACSD.2004.1393888","url":null,"abstract":"This paper deals with the implementation of a self-tuning controller into a PLC (programmable logical controller) library. The polynomial method is used, and the parameters for controller are derived using delta-model together with the pole placement approach. The recursive least-squares method and directional forgetting are used to estimate the parameters of the delta-model. The algorithm was implemented in the Tecomat PLC library, product of Teco, Inc. The laboratory tests proved that the algorithm implementation was successful","PeriodicalId":111199,"journal":{"name":"2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128771732","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Optimal hybrid control for switched affine systems under safety and liveness constraints 安全性和活动性约束下切换仿射系统的最优混合控制
D. Corona, C. Seatzu, A. Giua, D. Gromov, E. Mayer, J. Raisch
In this contribution, we propose a two-level hierarchical control strategy to solve the problem of minimising a cost function for a switched affine system under safety and liveness constraints. The constraints are handled on the lower level by a discrete supervisory controller designed using l-complete approximation. Its action can be represented as state invariants added to the plant model. In a bottom-up strategy, we can then synthesis a high-level controller, which computes a set of switching tables using the remaining degrees of freedom to optimise a quadratic performance index
在这篇贡献中,我们提出了一个两级层次控制策略来解决在安全和活动约束下切换仿射系统的成本函数最小化问题。在较低的层次上,约束由使用l-完全近似设计的离散监督控制器处理。它的动作可以表示为添加到工厂模型中的状态不变量。在自下而上的策略中,我们可以合成一个高级控制器,它使用剩余的自由度计算一组切换表来优化二次性能指数
{"title":"Optimal hybrid control for switched affine systems under safety and liveness constraints","authors":"D. Corona, C. Seatzu, A. Giua, D. Gromov, E. Mayer, J. Raisch","doi":"10.1109/CACSD.2004.1393847","DOIUrl":"https://doi.org/10.1109/CACSD.2004.1393847","url":null,"abstract":"In this contribution, we propose a two-level hierarchical control strategy to solve the problem of minimising a cost function for a switched affine system under safety and liveness constraints. The constraints are handled on the lower level by a discrete supervisory controller designed using l-complete approximation. Its action can be represented as state invariants added to the plant model. In a bottom-up strategy, we can then synthesis a high-level controller, which computes a set of switching tables using the remaining degrees of freedom to optimise a quadratic performance index","PeriodicalId":111199,"journal":{"name":"2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508)","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117346400","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Extensions of the linear fractional representation toolbox (LFRT) 线性分数表示工具箱(LFRT)的扩展
J. Magni
The initial version of linear fractional representation toolbox was mostly devoted to modelling with a special emphasis to LFT order reduction. An LFT representation can be viewed as the realization of a symbolic expression, therefore, scheduled gains are LFTs. This paper presents an extension of this toolbox to scheduled feedback design in LFT form. The well-posedness problem of such feedback gains is addressed. In addition, some classical analysis techniques (Nyquist, Bode, step responses...) are adapted to LFT objects via parameter gridding
线性分数表示工具箱的初始版本主要致力于建模,特别强调LFT降阶。LFT表示可以看作是符号表达式的实现,因此,调度增益就是LFT。本文将该工具箱扩展到LFT形式的计划反馈设计。解决了这种反馈增益的适定性问题。此外,一些经典的分析技术(Nyquist, Bode,阶跃响应等)通过参数网格化适用于LFT对象
{"title":"Extensions of the linear fractional representation toolbox (LFRT)","authors":"J. Magni","doi":"10.1109/CACSD.2004.1393886","DOIUrl":"https://doi.org/10.1109/CACSD.2004.1393886","url":null,"abstract":"The initial version of linear fractional representation toolbox was mostly devoted to modelling with a special emphasis to LFT order reduction. An LFT representation can be viewed as the realization of a symbolic expression, therefore, scheduled gains are LFTs. This paper presents an extension of this toolbox to scheduled feedback design in LFT form. The well-posedness problem of such feedback gains is addressed. In addition, some classical analysis techniques (Nyquist, Bode, step responses...) are adapted to LFT objects via parameter gridding","PeriodicalId":111199,"journal":{"name":"2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121556138","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Controller synthesis for stabilizing oscillations in tapping-mode atomic force microscopes 攻模原子力显微镜稳定振荡的控制器合成
M. Basso, G. Bagni
The atomic force microscope operating in tapping-mode can be properly described by a sinusoidally forced second order mechanical oscillator, which is nonlinearly interacting with the sample. Due to interaction forces, which strongly depend on the separation between the AFM tip and the sample profile, the cantilever oscillations may present chaotic behaviors, rising when the separation decreases. The stabilization of such periodic solutions is critical for achieving the correct sample topography. In this work, an LMI-based synthesis technique is proposed for determining the controller which guarantees stability of the cantilever oscillation for a wider range of tip-sample separations, thus eliminating unwanted complex dynamics
原子力显微镜工作在轻敲模式下,可以用一个与样品非线性相互作用的正弦强迫二阶机械振荡器来恰当地描述。由于相互作用力的存在,在很大程度上依赖于AFM尖端与样品轮廓之间的分离,悬臂振动可能呈现混沌行为,当分离减小时,悬臂振动会上升。这种周期解的稳定性对于获得正确的样品形貌是至关重要的。在这项工作中,提出了一种基于lmi的合成技术来确定控制器,该控制器可以保证在更大范围的尖端样品分离中悬臂振荡的稳定性,从而消除不必要的复杂动力学
{"title":"Controller synthesis for stabilizing oscillations in tapping-mode atomic force microscopes","authors":"M. Basso, G. Bagni","doi":"10.1109/CACSD.2004.1393905","DOIUrl":"https://doi.org/10.1109/CACSD.2004.1393905","url":null,"abstract":"The atomic force microscope operating in tapping-mode can be properly described by a sinusoidally forced second order mechanical oscillator, which is nonlinearly interacting with the sample. Due to interaction forces, which strongly depend on the separation between the AFM tip and the sample profile, the cantilever oscillations may present chaotic behaviors, rising when the separation decreases. The stabilization of such periodic solutions is critical for achieving the correct sample topography. In this work, an LMI-based synthesis technique is proposed for determining the controller which guarantees stability of the cantilever oscillation for a wider range of tip-sample separations, thus eliminating unwanted complex dynamics","PeriodicalId":111199,"journal":{"name":"2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122267757","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Ant colony optimization for designing of PID controllers 蚁群优化PID控制器设计
Y. Hsiao, Cheng-Long Chuang, Cheng-Chih Chien
This work presents an optimum approach to design PID controllers. The primary design goal is to obtain good load disturbance response by minimizing the integral absolute control error. At the same time, the transient response is guaranteed by minimizing the maximum overshoot, settling time, rise time of step response. This study proposes a solution algorithm based on the ant colony optimization technique to determine the parameters of the PID controller for getting a well performance for a given plant. Simulation results demonstrate that better control performance can be achieved in comparison with known methods
本文提出了一种PID控制器的优化设计方法。设计的主要目标是通过最小化积分绝对控制误差来获得良好的负载扰动响应。同时,通过最小化阶跃响应的最大超调量、稳定时间、上升时间来保证系统的暂态响应。本文提出了一种基于蚁群优化技术的PID控制器参数求解算法,以获得给定对象的良好性能。仿真结果表明,与现有方法相比,该方法具有更好的控制性能
{"title":"Ant colony optimization for designing of PID controllers","authors":"Y. Hsiao, Cheng-Long Chuang, Cheng-Chih Chien","doi":"10.1109/CACSD.2004.1393896","DOIUrl":"https://doi.org/10.1109/CACSD.2004.1393896","url":null,"abstract":"This work presents an optimum approach to design PID controllers. The primary design goal is to obtain good load disturbance response by minimizing the integral absolute control error. At the same time, the transient response is guaranteed by minimizing the maximum overshoot, settling time, rise time of step response. This study proposes a solution algorithm based on the ant colony optimization technique to determine the parameters of the PID controller for getting a well performance for a given plant. Simulation results demonstrate that better control performance can be achieved in comparison with known methods","PeriodicalId":111199,"journal":{"name":"2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508)","volume":"125 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134025772","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 79
State feedback control of networked systems via periodical switching 基于周期交换的网络系统状态反馈控制
S. Mu, T. Chu, Long Wang, G. Xie
This paper considers the problem of state feedback control of networked systems with an uncertain plant. The signal for feedback switches periodically between the plant state which is available via the communication network and the state of a model of the plant that is used to generate control signal when the plant state is not available from the network. A necessary and sufficient condition and a sufficient condition for the robust exponential stability of the closed loop system are derived in terms of the network dwell time and the system parameters. The results suggest a simple procedure for designing the state feedback controller of the system. Numerical simulations show the feasibility and efficiency of the proposed methods
研究具有不确定对象的网络系统的状态反馈控制问题。用于反馈的信号周期性地在可通过通信网络获得的工厂状态和当不能从网络获得工厂状态时用于生成控制信号的工厂模型的状态之间切换。从网络停留时间和系统参数两个方面,导出了闭环系统鲁棒指数稳定的充分必要条件和充分条件。研究结果为系统状态反馈控制器的设计提供了一种简单的方法。数值仿真结果表明了所提方法的可行性和有效性
{"title":"State feedback control of networked systems via periodical switching","authors":"S. Mu, T. Chu, Long Wang, G. Xie","doi":"10.1109/CACSD.2004.1393902","DOIUrl":"https://doi.org/10.1109/CACSD.2004.1393902","url":null,"abstract":"This paper considers the problem of state feedback control of networked systems with an uncertain plant. The signal for feedback switches periodically between the plant state which is available via the communication network and the state of a model of the plant that is used to generate control signal when the plant state is not available from the network. A necessary and sufficient condition and a sufficient condition for the robust exponential stability of the closed loop system are derived in terms of the network dwell time and the system parameters. The results suggest a simple procedure for designing the state feedback controller of the system. Numerical simulations show the feasibility and efficiency of the proposed methods","PeriodicalId":111199,"journal":{"name":"2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508)","volume":"28 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132723596","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
COSMAD: a Scilab toolbox for output-only modal analysis and diagnosis of vibrating structures COSMAD:一个用于振动结构输出模态分析和诊断的Scilab工具箱
M. Goursat, L. Mevel
Modal analysis of vibrating structures is a usual technique for design and monitoring in many industrial sectors: car manufacturing, aerospace, civil structures. We present COSMAD a software environment for in-operation situation without any measured or controlled input. COSMAD is an identification and detection Scilab toolbox. It covers modal identification with visual inspection of the results via a GUI or fully automated modal identification and monitoring. The toolbox offers a complete package for signal visualization, filtering and down-sampling, the tracking of frequency and damping over time, mode-shape visualization, MAC computation, etc. The detection part is also a comprehensive toolbox for modal diagnosis and physical localization of faulty components
振动结构的模态分析是许多工业部门设计和监测的常用技术:汽车制造,航空航天,民用结构。我们为COSMAD提供了一个无需任何测量或控制输入的运行状态软件环境。COSMAD是一个识别和检测Scilab工具箱。它涵盖了通过GUI或全自动模态识别和监控对结果进行视觉检查的模态识别。该工具箱为信号可视化、滤波和下采样、频率和阻尼随时间的跟踪、模态形状可视化、MAC计算等提供了一个完整的软件包。检测部分也是一个综合工具箱,用于故障部件的模态诊断和物理定位
{"title":"COSMAD: a Scilab toolbox for output-only modal analysis and diagnosis of vibrating structures","authors":"M. Goursat, L. Mevel","doi":"10.1109/CACSD.2004.1393861","DOIUrl":"https://doi.org/10.1109/CACSD.2004.1393861","url":null,"abstract":"Modal analysis of vibrating structures is a usual technique for design and monitoring in many industrial sectors: car manufacturing, aerospace, civil structures. We present COSMAD a software environment for in-operation situation without any measured or controlled input. COSMAD is an identification and detection Scilab toolbox. It covers modal identification with visual inspection of the results via a GUI or fully automated modal identification and monitoring. The toolbox offers a complete package for signal visualization, filtering and down-sampling, the tracking of frequency and damping over time, mode-shape visualization, MAC computation, etc. The detection part is also a comprehensive toolbox for modal diagnosis and physical localization of faulty components","PeriodicalId":111199,"journal":{"name":"2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131013818","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
On the design of robust controllers using the interval Diophantine equation 基于区间丢番图方程的鲁棒控制器设计
A. Lordelo, E. A. Juzzo, P. Ferreira
In this paper the design of pole placement feedback controllers for interval plants is addressed within an interval analysis framework. Three main topics connected by the concept of interval Diophantine equation are treated: a relatively straightforward investigation about robust coprimeness of interval polynomials, a reliable computing approach for the design of pole placement controllers in the presence of inaccuracies of the interval type, and the design of robust controllers with regional pole placement specifications. After explicitly characterizing a convex subset of robust controllers, the problem of designing non-fragile controllers is formulated as a centering problem, which is then solved by a global optimization algorithm. Numerical examples illustrate the main characteristics of the approach proposed
本文在区间分析的框架下研究了区间对象的极点配置反馈控制器的设计。本文讨论了区间丢芬图方程的三个主要问题:区间多项式的鲁棒共群性的比较直接的研究,存在区间型不精确时极点配置控制器设计的可靠计算方法,以及具有区域极点配置规范的鲁棒控制器的设计。在明确刻画了鲁棒控制器的凸子集后,将非脆弱控制器的设计问题化为定心问题,然后利用全局优化算法求解该定心问题。数值算例说明了该方法的主要特点
{"title":"On the design of robust controllers using the interval Diophantine equation","authors":"A. Lordelo, E. A. Juzzo, P. Ferreira","doi":"10.1109/CACSD.2004.1393871","DOIUrl":"https://doi.org/10.1109/CACSD.2004.1393871","url":null,"abstract":"In this paper the design of pole placement feedback controllers for interval plants is addressed within an interval analysis framework. Three main topics connected by the concept of interval Diophantine equation are treated: a relatively straightforward investigation about robust coprimeness of interval polynomials, a reliable computing approach for the design of pole placement controllers in the presence of inaccuracies of the interval type, and the design of robust controllers with regional pole placement specifications. After explicitly characterizing a convex subset of robust controllers, the problem of designing non-fragile controllers is formulated as a centering problem, which is then solved by a global optimization algorithm. Numerical examples illustrate the main characteristics of the approach proposed","PeriodicalId":111199,"journal":{"name":"2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134507192","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Formal approach to compute hybrid automata models for linear physical systems with switches 计算带开关的线性物理系统混合自动机模型的形式化方法
J. Buisson, H. Cormerais, M. Zainea, H. Guéguen, E. Godoy
This paper considers the computation of a hybrid automaton that models the behaviour of a switching linear physical system using energy considerations. The system is represented in a compositional way with bond graphs that include switches. In a first step the switches are considered from a functional point of view. This allows to determine the locations that are associated to consistent configuration of switches, the continuous activities and the jumps. In a second step elementary models of switches are introduced and allow to determine the invariants and the guards of transitions. The approach is exemplified with a simple electronics circuit
本文考虑了一个混合自动机的计算,该自动机利用能量因素对开关线性物理系统的行为进行建模。该系统以组合方式用包含开关的键合图表示。在第一步中,从功能的角度考虑开关。这允许确定与开关的一致配置、连续活动和跳跃相关的位置。在第二步中,引入了开关的基本模型,并允许确定转换的不变量和保护。该方法以一个简单的电子电路为例
{"title":"Formal approach to compute hybrid automata models for linear physical systems with switches","authors":"J. Buisson, H. Cormerais, M. Zainea, H. Guéguen, E. Godoy","doi":"10.1109/CACSD.2004.1393849","DOIUrl":"https://doi.org/10.1109/CACSD.2004.1393849","url":null,"abstract":"This paper considers the computation of a hybrid automaton that models the behaviour of a switching linear physical system using energy considerations. The system is represented in a compositional way with bond graphs that include switches. In a first step the switches are considered from a functional point of view. This allows to determine the locations that are associated to consistent configuration of switches, the continuous activities and the jumps. In a second step elementary models of switches are introduced and allow to determine the invariants and the guards of transitions. The approach is exemplified with a simple electronics circuit","PeriodicalId":111199,"journal":{"name":"2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122330882","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 16
期刊
2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1