Titlebook: Hybrid Systems: Computation and Control; 4th International Wo Maria Domenica Benedetto,Alberto Sangiovanni-Vince Conference proceedings 200

expenditure

書目名稱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é)科排名

水獺

Optimal Paths in Weighted Timed Automata,omaton due to Alur and Dill. We present an exponential time algorithm to solve the shortest-path problem for weighted timed automata starting from a single state, and a doubly-exponential time algorithm to solve this problem starting from a zone of the state space.

endarterectomy

Obsessed

NEXUS

A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systemcount the switching structure of the considered system. In this paper we address the generalized problem of controlling hybrid systems whose switching structure does not depend only on the state but also on the control input.

低位的人或事

Conference proceedings 2001 2001. The Workshop on Hybrid Systems attracts researchers from in- stry and academia interested in modeling, analysis, synthesis, and implemen- tion of dynamic and reactive systems involving both discrete (integer, logical, symbolic) and continuous behaviors. It is a forum for the discussion of the

柳樹；枯黃

事物的方面

Largess

Minimum-Cost Reachability for Priced Time Automata,mata. We prove decidability of this problem by offering an algorithmic solution, which is based on a combination of branch-and-bound techniques and a new notion of priced regions. The latter allows symbolic representation and manipulation of reachable states together with the cost of reaching them.

concise

0302-9743 C 2001) held in Rome, Italy on March 28-30, 2001. The Workshop on Hybrid Systems attracts researchers from in- stry and academia interested in modeling, analysis, synthesis, and implemen- tion of dynamic and reactive systems involving both discrete (integer, logical, symbolic) and continuous behavio