Hierarchische Modellierung und Regelung hybrider Systeme auf zwei Ebenen
暂无分享,去创建一个
[1] Olaf Stursberg,et al. Multiscale Anticipatory Behavior by Hierarchical Reinforcement Learning , 2009, ABiALS.
[2] Lihui Wang,et al. Reconfigurable manufacturing systems: the state of the art , 2008 .
[3] Peter E. Caines,et al. Hierarchical hybrid control systems , 1997 .
[4] Olaf Stursberg,et al. Optimizing Hybrid Control Trajectories by Model abstraction and Refinement , 2009, ADHS.
[5] Olaf Stursberg,et al. Efficient Planning of Autonomous Robots using Hierarchical Decomposition , 2008, ICINCO-RA.
[6] Olaf Stursberg,et al. Graph Search for Optimizing the Discrete Location Sequence in Hybrid Optimal Control , 2009, ADHS.
[7] Vijay Kumar,et al. Hierarchical modeling and analysis of embedded systems , 2003, Proc. IEEE.
[8] Thomas A. Henzinger,et al. Assume-Guarantee Reasoning for Hierarchical Hybrid Systems , 2001, HSCC.
[9] Joël Ouaknine,et al. Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems , 2003, Int. J. Found. Comput. Sci..
[10] J. M. Davoren,et al. Strategic refinements in abstraction based supervisory control of hybrid systems , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..
[11] Olaf Stursberg,et al. Optimal Control for Deterministic Hybrid Systems using Dynamic Programming , 2009, ADHS.
[12] V. Borkar,et al. A unified framework for hybrid control: model and optimal control theory , 1998, IEEE Trans. Autom. Control..
[13] Thomas A. Henzinger,et al. The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[14] Nancy A. Lynch,et al. Hybrid I/O automata , 1995, Inf. Comput..
[15] Olaf Stursberg,et al. Hierarchical hybrid modeling and control of flexible manufacturing systems , 2009, 2009 European Control Conference (ECC).
[16] Rajeev Alur,et al. Reachability Analysis of Hybrid Systems via Predicate Abstraction , 2002, HSCC.
[17] P. Caines,et al. Hierarchical hybrid control systems: a lattice theoretic formulation , 1998, IEEE Trans. Autom. Control..
[18] Riccardo Scattolini,et al. On the design of hierarchical control systems with MPC , 2009, 2009 European Control Conference (ECC).
[19] Olaf Stursberg,et al. Supervisory Control of Hybrid Systems based on Model Abstraction and Refinement , 2006 .
[20] W. M. Wonham,et al. The control of discrete event systems , 1989 .
[21] Olaf Stursberg,et al. Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods , 2003, ADHS.
[22] Edward A. Lee,et al. A hierarchical hybrid system model and its simulation , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).
[23] Christos G. Cassandras,et al. Hybrid Controllers for Hierarchically Decomposed Systems , 2000, HSCC.
[24] Kurapati Venkatesh,et al. Flexible Manufacturing Systems: An Overview , 1994 .
[25] Christos G. Cassandras,et al. A hierarchical decomposition method for optimal control of hybrid systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).
[26] Karl Henrik Johansson,et al. Hybrid Control of Networked Embedded Systems , 2005 .
[27] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[28] Edward A. Lee,et al. Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.
[29] Olaf Stursberg,et al. Efficient synthesis of production schedules by optimization of timed automata , 2006 .
[30] Oskar von Stryk,et al. Optimalsteuerung kooperierender MehrfahrzeugsystemeOptimal Control of Cooperative Multi-Vehicle Systems , 2009, Autom..