標(biāo)題: Titlebook: Hybrid Systems: Computation and Control; 8th International Wo Manfred Morari,Lothar Thiele Conference proceedings 2005 Springer-Verlag Berl [打印本頁] 作者: supplementary 時間: 2025-3-21 17:34
書目名稱Hybrid Systems: Computation and Control影響因子(影響力)
書目名稱Hybrid Systems: Computation and Control影響因子(影響力)學(xué)科排名
書目名稱Hybrid Systems: Computation and Control網(wǎng)絡(luò)公開度
書目名稱Hybrid Systems: Computation and Control網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Hybrid Systems: Computation and Control被引頻次
書目名稱Hybrid Systems: Computation and Control被引頻次學(xué)科排名
書目名稱Hybrid Systems: Computation and Control年度引用
書目名稱Hybrid Systems: Computation and Control年度引用學(xué)科排名
書目名稱Hybrid Systems: Computation and Control讀者反饋
書目名稱Hybrid Systems: Computation and Control讀者反饋學(xué)科排名
作者: 去掉 時間: 2025-3-22 00:11 作者: 高原 時間: 2025-3-22 01:39 作者: 同義聯(lián)想法 時間: 2025-3-22 04:36
https://doi.org/10.1007/b106766Augmented Reality; algorithms; automata; dependable systems; dynamical systems; embedded systems; formal v作者: N防腐劑 時間: 2025-3-22 09:01 作者: Fracture 時間: 2025-3-22 14:19
Observability of Switched Linear Systems in Continuous TimeWe study continuous-time switched linear systems with unobserved and exogenous mode signals. We analyze the observability of the initial state and initial mode under arbitrary switching, and characterize both properties in both the autonomous and non-autonomous cases.作者: 堅毅 時間: 2025-3-22 17:58
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/h/image/430184.jpg作者: Latency 時間: 2025-3-23 01:01 作者: STING 時間: 2025-3-23 02:58
Operational Semantics of Hybrid Systemsprogram in a domain-specific programming language. We describe the semantics of HyVisual, which is such a domain-specific programming language. The semantic properties of such a language affect our ability to understand, execute, and analyze a model. We discuss several semantic issues that come in d作者: Ataxia 時間: 2025-3-23 07:40
SOS Methods for Semi-algebraic Games and Optimizational ”primitive” in the analysis and design of hybrid dynamical systems. Fundamental tasks such as reachability analysis, abstraction verification, and the computation of stability and performance certificates, all use these operations extensively, and can quickly become the computational bottleneck i作者: vasculitis 時間: 2025-3-23 11:25 作者: 貧困 時間: 2025-3-23 15:05
A Homology Theory for Hybrid Systems: Hybrid Homologyhieved by considering the underlying “space” of a hybrid system—its . or .. The homotopy colimit can be applied to this H-space to obtain a single topological space; the hybrid homology of an H-space is the homology of this space. The result is a spectral sequence converging to the hybrid homology o作者: Intuitive 時間: 2025-3-23 21:07
Controller Synthesis on Non-uniform and Uncertain Discrete–Time Domainsidered. This class of problems is relevant to many application domains. For instance, in engine control a heterogenous and, to some extent, uncertain event–driven time domain is due to the behavior of the 4-stroke internal combustion engine, with which the controller has to synchronize to operate th作者: Cocker 時間: 2025-3-24 01:48 作者: 頑固 時間: 2025-3-24 03:24
Optimal Control of Discrete Hybrid Stochastic Automataoducing a suitable hybrid model called Discrete Hybrid Stochastic Automaton (DHSA), different finite-time optimal control approaches are examined: (1) Stochastic Hybrid Optimal Control (SHOC), that “optimistically” determines the trajectory providing the best trade off between the tracking performan作者: 新手 時間: 2025-3-24 07:34
Hybrid Decentralized Control of Large Scale Systems control problems. In particular we show that a formation flight problem, a paper machine control problem and the coordination of cameras in a monitoring network can be cast into this class. In the second part of the paper we propose a decentralized control scheme to tackle the complexity of the pro作者: debacle 時間: 2025-3-24 13:50 作者: cardiovascular 時間: 2025-3-24 16:38 作者: 關(guān)心 時間: 2025-3-24 20:07
Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Frictionntacts such as supposing that they are permanent. We’re interested here in having a look at what happens when no such assumptions is made: we are led therefore to propose a Lyapunov stability analysis of a position and force control law in the mathematical framework of nonsmooth Lagrangian dynamical作者: 賠償 時間: 2025-3-24 23:51
Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Orderation error is bounded by a monotonically nonincreasing function of the discrete state estimation error, with both the estimation errors converging to zero. This work shows that the lattice approach to estimation is general as the proposed estimator can be constructed for any observable and discrete作者: Heart-Attack 時間: 2025-3-25 07:16 作者: 眨眼 時間: 2025-3-25 10:27 作者: 使糾纏 時間: 2025-3-25 13:53 作者: 腐爛 時間: 2025-3-25 19:23
Reachability of Uncertain Linear Systems Using Zonotopespes for reachable set representation. Zonotopes are special polytopes with several interesting properties?: they can be encoded efficiently, they are closed under linear transformations and Minkowski sum. The resulting method has been used to treat several examples and has shown great performances f作者: ORE 時間: 2025-3-25 23:21 作者: sinoatrial-node 時間: 2025-3-26 03:55 作者: doxazosin 時間: 2025-3-26 08:19 作者: evasive 時間: 2025-3-26 11:17
Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Orderan be exploited in the estimator design. In such a case, the computational complexity of the estimator can be drastically reduced and tractability can be achieved. Some examples are proposed to illustrate these ideas.作者: Defiance 時間: 2025-3-26 16:38
PHAVer: Algorithmic Verification of Hybrid Systems Past HyTechary, which supports arbitrarily large numbers. To manage the complexity of the polyhedral computations, we propose methods to conservatively limit the number of bits and constraints of polyhedra. Experimental results for a navigation benchmark and a tunnel diode circuit show the effectiveness of the approach.作者: chemical-peel 時間: 2025-3-26 20:40 作者: 繁忙 時間: 2025-3-27 00:09 作者: Override 時間: 2025-3-27 01:24
On the Stabilisation of Switching Electrical Power Converters principle that guarantees the invariance of a specified domain with respect to state trajectories is proposed. Two examples are provided at the end of this paper that demonstrate the efficiency of the proposed approach.作者: Nausea 時間: 2025-3-27 06:19
Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasi-level inverter, the control scheme can be extended to also tackle three-level inverters. Simulation results demonstrate that the proposed controller leads to performance improvements despite its simple structure.作者: 擴音器 時間: 2025-3-27 10:39 作者: circumvent 時間: 2025-3-27 14:17
A Homology Theory for Hybrid Systems: Hybrid Homologyf an H-space, providing a concrete way to compute this homology. Moreover, the hybrid homology of the H-space underlying a hybrid system gives useful information about the behavior of this system: the vanishing of the first hybrid homology of this H-space—when it is contractible and finite—implies that this hybrid system is not Zeno.作者: enchant 時間: 2025-3-27 18:37
Hybrid Decentralized Control of Large Scale Systemsblem. The scheme makes use of logic rules which improve stability and feasibility of the decentralized method by enforcing coordination. The decentralized control laws which respect the rules are computed using hybrid control design.作者: 觀察 時間: 2025-3-27 22:17 作者: Subjugate 時間: 2025-3-28 05:30
Perturbed Timed Automatad by a . timed automaton. This leads to a decision procedure for the language inclusion problem for systems modeled as products of 1-clock automata with imperfect clocks. We also prove that determinization and decidability of language inclusion are not possible for multi-clock automata, even with perturbation.作者: 他日關(guān)稅重重 時間: 2025-3-28 08:18 作者: 強壯 時間: 2025-3-28 12:54 作者: foppish 時間: 2025-3-28 17:57 作者: 陰險 時間: 2025-3-28 20:20 作者: 桶去微染 時間: 2025-3-29 01:21 作者: fidelity 時間: 2025-3-29 06:01 作者: 大雨 時間: 2025-3-29 07:45
Antoine Girardthe main sequence and to march towards the region of the red supergiants the methods known at that time failed to produce models. For less massive stars the exhaustion of hydrogen could be followed up more easily and, in 1955, the great paper by Hoyle and Schwarzschild came out, which showed how the作者: 微塵 時間: 2025-3-29 12:27
Markus P. J. Fromherz,Lara S. Crawford,Haitham A. Hindi作者: 磨坊 時間: 2025-3-29 16:21
Andrea Balluchi,Pierpaolo Murrieri,Alberto L. Sangiovanni-Vincentelli作者: expository 時間: 2025-3-29 23:38 作者: 勤勉 時間: 2025-3-30 01:45
Francesco Borrelli,Tamás Keviczky,Gary J. Balas,Greg Stewart,Kingsley Fregene,Datta Godbole作者: Affectation 時間: 2025-3-30 06:24 作者: Definitive 時間: 2025-3-30 08:17
Ansgar Fehnker,Edmund Clarke,Sumit Kumar Jha,Bruce Krogh作者: 微不足道 時間: 2025-3-30 14:41 作者: 小教堂 時間: 2025-3-30 18:20
Citizen Perspectives on the Development of Local Cultural Resources: The Case of the Municipality of Serres and development of a successful and sustainable national cultural development policy. The purpose of the current survey is to explore to what extend people who are residents at the Municipality of Serres realize the importance of cultural assets in the context both of national or regional economic 作者: 熄滅 時間: 2025-3-30 21:56
2730-9479 ns in this volume interrogate the meaning of masculine identity for the medieval clergy, by considering a wide range of sources, time periods and geographical contexts.978-1-349-30774-6978-0-230-29046-4Series ISSN 2730-9479 Series E-ISSN 2730-9487 作者: Preamble 時間: 2025-3-31 02:33 作者: NOT 時間: 2025-3-31 06:42
Alternative Approachestant concepts in closed form. Therefore, we just sketch some ideas in the air. Neither of the topics is treated in detail. The chapter is intended as an incitement for further reading and work and we give a sample of recent papers at the end.作者: 精確 時間: 2025-3-31 09:35 作者: 充氣女 時間: 2025-3-31 16:03 作者: interlude 時間: 2025-3-31 18:40 作者: adj憂郁的 時間: 2025-3-31 23:49 作者: 平常 時間: 2025-4-1 03:45 作者: FLING 時間: 2025-4-1 06:48 作者: 法律的瑕疵 時間: 2025-4-1 11:39
