標(biāo)題: Titlebook: Hybrid Systems V; Panos Antsaklis,Michael Lemmon,Shankar Sastry Conference proceedings 1999 Springer-Verlag Berlin Heidelberg 1999 Automat [打印本頁] 作者: 法令 時間: 2025-3-21 16:15
書目名稱Hybrid Systems V影響因子(影響力)
書目名稱Hybrid Systems V影響因子(影響力)學(xué)科排名
書目名稱Hybrid Systems V網(wǎng)絡(luò)公開度
書目名稱Hybrid Systems V網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Hybrid Systems V被引頻次
書目名稱Hybrid Systems V被引頻次學(xué)科排名
書目名稱Hybrid Systems V年度引用
書目名稱Hybrid Systems V年度引用學(xué)科排名
書目名稱Hybrid Systems V讀者反饋
書目名稱Hybrid Systems V讀者反饋學(xué)科排名
作者: 減少 時間: 2025-3-21 20:47 作者: deface 時間: 2025-3-22 03:14
Wolf Kohn,Anil Nerode,Jeffrey B. Remmelroduced with careful attention to a well-defined quality procedure and that the expertise of SGTE members in various areas of inorganic chemistry and materials science allows review of the numbers by hi978-3-540-49418-8Series ISSN 1615-1844 Series E-ISSN 1616-9522 作者: DEI 時間: 2025-3-22 07:27
Xenofon D. Koutsoukos,Panos J. Antsaklisroduced with careful attention to a well-defined quality procedure and that the expertise of SGTE members in various areas of inorganic chemistry and materials science allows review of the numbers by hi978-3-540-49418-8Series ISSN 1615-1844 Series E-ISSN 1616-9522 作者: 兩棲動物 時間: 2025-3-22 12:47
S. Kowalewski,O. Stursberg,M. Fritz,H. Graf,I. Hoffmann,J. Preu?ig,M. Remelhe,S. Simon,H. Treselerroduced with careful attention to a well-defined quality procedure and that the expertise of SGTE members in various areas of inorganic chemistry and materials science allows review of the numbers by hi978-3-540-49418-8Series ISSN 1615-1844 Series E-ISSN 1616-9522 作者: SENT 時間: 2025-3-22 16:56
Gerardo Lafferriere,George J. Pappas,Shankar Sastryroduced with careful attention to a well-defined quality procedure and that the expertise of SGTE members in various areas of inorganic chemistry and materials science allows review of the numbers by hi978-3-540-49418-8Series ISSN 1615-1844 Series E-ISSN 1616-9522 作者: moratorium 時間: 2025-3-22 19:57 作者: audiologist 時間: 2025-3-22 21:20 作者: Dissonance 時間: 2025-3-23 02:09 作者: Circumscribe 時間: 2025-3-23 08:31 作者: 自作多情 時間: 2025-3-23 10:36
J?rg Raisch,Eberhard Klein,Christian Meder,Alexander Itigin,Siu O’Youngroduced with careful attention to a well-defined quality procedure and that the expertise of SGTE members in various areas of inorganic chemistry and materials science allows review of the numbers by hi978-3-540-49418-8Series ISSN 1615-1844 Series E-ISSN 1616-9522 作者: 駕駛 時間: 2025-3-23 16:08 作者: 排他 時間: 2025-3-23 18:48 作者: THROB 時間: 2025-3-24 00:28
,On Hybrid Systems and the Modal μ-calculus,traction”, but rather as a skeleton which can be fleshed out by imbuing the state space with . or other .. Drawing on the resources of modal logics, we give explicit symbolic representation to such structure in polymodal logics extending the modal .-calculus. The result is a logical formalism in whi作者: DOSE 時間: 2025-3-24 03:05
Sliding Mode Model Semantics and Simulation for Hybrid Systems,ss of systems, based on a careful analysis of the model semantics at the discontinuous boundaries. Simulation results show that the algorithm is more efficient and accurate for sliding mode systems than conventional integration methods.作者: Brochure 時間: 2025-3-24 07:35
erent types. Major advantages of the SGTE data are their self-consistency, the fact that they areproduced with careful attention to a well-defined quality procedure and that the expertise of SGTE members in various areas of inorganic chemistry and materials science allows review of the numbers by hi作者: 閹割 時間: 2025-3-24 13:51
Haoxun Chen,Hans-Michael Hanischerent types. Major advantages of the SGTE data are their self-consistency, the fact that they areproduced with careful attention to a well-defined quality procedure and that the expertise of SGTE members in various areas of inorganic chemistry and materials science allows review of the numbers by hi作者: HEED 時間: 2025-3-24 18:09
Alongkrit Chutinan,Bruce H. Krogherent types. Major advantages of the SGTE data are their self-consistency, the fact that they areproduced with careful attention to a well-defined quality procedure and that the expertise of SGTE members in various areas of inorganic chemistry and materials science allows review of the numbers by hi作者: Lethargic 時間: 2025-3-24 22:04
J. M. Davorenerent types. Major advantages of the SGTE data are their self-consistency, the fact that they areproduced with careful attention to a well-defined quality procedure and that the expertise of SGTE members in various areas of inorganic chemistry and materials science allows review of the numbers by hi作者: Insubordinate 時間: 2025-3-24 23:29 作者: 羅盤 時間: 2025-3-25 04:23 作者: hypertension 時間: 2025-3-25 07:31 作者: Fortify 時間: 2025-3-25 12:52
Control Synthesis of Hybrid Systems Based on Predicate Invariance,. The problem is to find a hybrid state feedback policy that enforces the closed-loop system satisfying the specification. In this paper, we present a control synthesis method for the problem based on predicate invariance.作者: 圍巾 時間: 2025-3-25 16:48 作者: 木質(zhì) 時間: 2025-3-25 23:41 作者: Intellectual 時間: 2025-3-26 00:54
The Extended Linear Complementarity Problem and the Modeling and Analysis of Hybrid Systems,ss how this problem can be used in the analysis of discrete event systems and continuous variable systems. Next we show that the ELCP can also be used to model and to analyze hybrid systems. More specifically, we consider a traffic-light-controlled intersection, which can be considered as a hybrid s作者: 粗魯性質(zhì) 時間: 2025-3-26 08:08 作者: Psa617 時間: 2025-3-26 09:17 作者: Expurgate 時間: 2025-3-26 13:16
Scalable Data and Sensor Fusion via Multiple Agent Hybrid Systems,m the data to a common representation. Rather we establish a framework which we call the Multiple Agent Hybrid Estimation Architecture in which we allow heterogeneous data to flow between individual agents in the network to improve their individual estimates of the current plant state.作者: 被告 時間: 2025-3-26 20:32
Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Properransfer of the continuous state to a region of the state space under safety specifications on the discrete and continuous dynamics is addressed. The switching policy is embedded in the dynamics of the underlying Petri net structure and the supervisors are described by Petri nets. The discrete specif作者: 不再流行 時間: 2025-3-27 00:31
Hybrid Systems with Finite Bisimulations,ined by constructing finite, reachability preserving quotient systems called .. In this paper, we use recent results from stratification theory, subanalytic sets, and model theory in order to extend the state-of-the-art results on the existence of bisimulations for certain classes of planar hybrid s作者: 仲裁者 時間: 2025-3-27 03:30
Extracting Stable Timed Automata from Switched Model Reference Systems,ssumed to be a linear parameter varying (LPV) system scheduled along a nominal parameter trajectory; in this respect, the control problem represents a plant operating between a prespecified set of operating conditions. Linear controllers are designed at setpoints along this scheduling trajectory to 作者: Indelible 時間: 2025-3-27 05:53
Sliding Mode Model Semantics and Simulation for Hybrid Systems,mplex continuous system behavior combines effects that occur at multiple temporal and spatial scales. Behavior generation is simplified by creating system models that employ time scale and parameter abstraction techniques. The resultant hybrid systems exhibit discrete and continuous behaviors, which作者: 碎石 時間: 2025-3-27 10:21
Time-Deterministic Hybrid Transition Systems,ation for each . variable in terms of inputs and other state variables. Each discrete transition may be taken according to a (non-deterministic) time constraint..In this paper we restrict this model to time-deterministic discrete transitions. Thus, every transition is guarded by a condition . and ha作者: 委托 時間: 2025-3-27 13:36 作者: 價值在貶值 時間: 2025-3-27 18:58 作者: malapropism 時間: 2025-3-27 22:24 作者: Abrupt 時間: 2025-3-28 02:39
Action Systems with Continuous Behaviour,ments in Dijkstra’s guarded command language, and their semantics is given by predicate transformers. We extend conventional action systems with a . consisting of a differential equation and an evolution guard. The semantics is given by a weakest liberal precondition transformer, because it is not a作者: 籠子 時間: 2025-3-28 07:06 作者: Femish 時間: 2025-3-28 12:23 作者: foodstuff 時間: 2025-3-28 16:49
as of materials design and development. In particular, the last 25 years have seen enormous advances in the thermodynamic modelling of alloy solution phases, whereby a knowledge of the underlying crystallographic structure of each phase is fundamental to a reliable representation of the thermodynami作者: 生氣的邊緣 時間: 2025-3-28 20:35
Haoxun Chen,Hans-Michael Hanischas of materials design and development. In particular, the last 25 years have seen enormous advances in the thermodynamic modelling of alloy solution phases, whereby a knowledge of the underlying crystallographic structure of each phase is fundamental to a reliable representation of the thermodynami作者: colloquial 時間: 2025-3-29 00:17
Alongkrit Chutinan,Bruce H. Kroghas of materials design and development. In particular, the last 25 years have seen enormous advances in the thermodynamic modelling of alloy solution phases, whereby a knowledge of the underlying crystallographic structure of each phase is fundamental to a reliable representation of the thermodynami作者: 連接 時間: 2025-3-29 04:18 作者: 防止 時間: 2025-3-29 10:07
Bart De Schutter,Bart De Moortional scientists..Includes supplementary material: .Thermodynamic data, in conjunction with appropriate software for calculation of complex chemical equilibria, are finding wide application in many areas of materials design and development. In particular, the last 25 years have seen enormous advanc作者: Ethics 時間: 2025-3-29 12:13 作者: 草本植物 時間: 2025-3-29 18:03
Jianping Gao,Qiwen Xutional scientists..Includes supplementary material: .Thermodynamic data, in conjunction with appropriate software for calculation of complex chemical equilibria, are finding wide application in many areas of materials design and development. In particular, the last 25 years have seen enormous advanc作者: Judicious 時間: 2025-3-29 23:23
Wolf Kohn,Anil Nerode,Jeffrey B. Remmeltional scientists..Includes supplementary material: .Thermodynamic data, in conjunction with appropriate software for calculation of complex chemical equilibria, are finding wide application in many areas of materials design and development. In particular, the last 25 years have seen enormous advanc作者: 隼鷹 時間: 2025-3-30 02:17 作者: Foregery 時間: 2025-3-30 05:54
S. Kowalewski,O. Stursberg,M. Fritz,H. Graf,I. Hoffmann,J. Preu?ig,M. Remelhe,S. Simon,H. Treselertional scientists..Includes supplementary material: .Thermodynamic data, in conjunction with appropriate software for calculation of complex chemical equilibria, are finding wide application in many areas of materials design and development. In particular, the last 25 years have seen enormous advanc作者: 變量 時間: 2025-3-30 11:15 作者: uveitis 時間: 2025-3-30 12:51 作者: diathermy 時間: 2025-3-30 19:40
Pieter J. Mosterman,Feng Zhao,Gautam Biswastional scientists..Includes supplementary material: .Thermodynamic data, in conjunction with appropriate software for calculation of complex chemical equilibria, are finding wide application in many areas of materials design and development. In particular, the last 25 years have seen enormous advanc作者: 不知疲倦 時間: 2025-3-31 00:31
Simin Nadjm-Tehranitional scientists..Includes supplementary material: .Thermodynamic data, in conjunction with appropriate software for calculation of complex chemical equilibria, are finding wide application in many areas of materials design and development. In particular, the last 25 years have seen enormous advanc作者: Addictive 時間: 2025-3-31 03:07
Todd W. Nelleras of materials design and development. In particular, the last 25 years have seen enormous advances in the thermodynamic modelling of alloy solution phases, whereby a knowledge of the underlying crystallographic structure of each phase is fundamental to a reliable representation of the thermodynami作者: Ethics 時間: 2025-3-31 05:42
T. Parisini,S. Saconetional scientists..Includes supplementary material: .Thermodynamic data, in conjunction with appropriate software for calculation of complex chemical equilibria, are finding wide application in many areas of materials design and development. In particular, the last 25 years have seen enormous advanc作者: 蚊子 時間: 2025-3-31 12:12 作者: modifier 時間: 2025-3-31 15:48 作者: heirloom 時間: 2025-3-31 19:17
https://doi.org/10.1007/3-540-49163-5Automat; automata; dynamical systems; logic; optimization; simulation; verification; complexity作者: indigenous 時間: 2025-4-1 00:36
