Search results for "Horizon"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
81	Jeffrey S. Steinman	Discrete-Event Simulation and the Event Horizon Part 2: Event List Management.	Workshop on Parallel and Distributed Simulation	1996	DBLP DOI BibTeX RDF	Event List Management, SPEEDES Qheap, Event Horizon, Parallel Simulation, Priority Queues, SPEEDES
74	Laurence Johnson	The horizon metatrends: after five years of the horizon project, the 30, 000 foot view.	SIGUCCS	2008	DBLP DOI BibTeX RDF	Horizon Project, collabaration webs, grassroots video, metatrends, mobile broadband, new media consortium, social operating systems, mashups, emerging technology, collective intelligence
69	Christian Herdtweck, Christian Wallraven	Horizon estimation: perceptual and computational experiments.	APGV	2010	DBLP DOI BibTeX RDF
64	Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray	Receding horizon control for temporal logic specifications.	HSCC	2010	DBLP DOI BibTeX RDF	embedded control software, receding horizon control, linear temporal logic
62	Koichi Onoue, Nelson Max, Tomoyuki Nishita	Real-Time Rendering of Bumpmap Shadows Taking Account of Surface Curvature.	CW	2004	DBLP DOI BibTeX RDF	horizon map, graphics hardware, shadows, curvature, bump-mapping
55	Yuanyuan Zou 0001, Shaoyuan Li	Receding horizon estimation to networked control systems with multirate scheme.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	network-induced time delays, receding-horizon, state estimation, networked control systems, multirate
55	Yudong Wang, Jingchun Wang, Bo Liu	Constrained Nonlinear State Estimation - A Differential Evolution Based Moving Horizon Approach.	ICIC (2)	2007	DBLP DOI BibTeX RDF	moving horizon estimation, differential evolution, state estimation, extended Kalman filter
47	Nobusumi Sagara	Value Functions and Transversality Conditions for Infinite Horizon Optimal Control Problems.	MCO	2008	DBLP DOI BibTeX RDF	Nonsmooth maximum principle, Infinite horizon, Transversality condition, Sufficiency, Value function
47	Marida Bertocchi, Vittorio Moriggia, Jitka Dupacová	Horizon and stages in applications of stochastic programming in finance.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Stochastic dynamic optimization, Bond portfolio management, Stages, Horizon
47	Lisa A. Korf	Approximating infinite horizon stochastic optimal control in discrete time with constraints.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Epi-convergence, Infinite horizon, Dynamic programming, Optimal control, Stochastic programming, Variational analysis
47	Sathish Gopalakrishnan, Marco Caccamo, Chi-Sheng Shih 0001, Chang-Gun Lee, Lui Sha	Finite-horizon scheduling of radar dwells with online template construction.	Real Time Syst.	2006	DBLP DOI BibTeX RDF	Radar dwell scheduling, Finite horizon, Real-time scheduling, Energy constraints
44	Damien Dusha, Wageeh W. Boles, Rodney A. Walker	Attitude Estimation for a Fixed-Wing Aircraft Using Horizon Detection and Optical Flow.	DICTA	2007	DBLP DOI BibTeX RDF
44	Xin Ye 0004, Xingkai Yang, Liming Zhu 0001, Ning Wang 0021, Jiangnan Qiu	Research of Government Horizon Business Integration Management System Based on HRNM and Agent.	IAT Workshops	2006	DBLP DOI BibTeX RDF	Hierarchical role network model, Agent, E-government, Business integration
38	Jeffrey Heer, Nicholas Kong, Maneesh Agrawala	Sizing the horizon: the effects of chart size and layering on the graphical perception of time series visualizations.	CHI	2009	DBLP DOI BibTeX RDF	graphical perception, horizon graphs, line charts, visualization, time series
38	Zhi-hui Zhan, Jun Zhang 0003, Yue-jiao Gong	Ant colony system based on receding horizon control for aircraft arrival sequencing and scheduling.	GECCO	2009	DBLP DOI BibTeX RDF	arrival sequencing and scheduling, receding horizon control, air traffic control, ant colony system
38	Katerina Asdre, Stavros D. Nikolopoulos	P-Tree Structures and Event Horizon: Efficient Event-Set Implementations.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	event set algorithms, hold model, event horizon, P-tree structures, data structures, discrete-event simulation, heap, P-tree
38	Maria Faraklioti, Maria Petrou	Horizon picking in 3D seismic data volumes.	Mach. Vis. Appl.	2004	DBLP DOI BibTeX RDF	3D seismic data, Horizon picking, Surface detection
38	A. James Stewart	Fast Horizon Computation at All Points of a Terrain With Visibility and Shading Applications.	IEEE Trans. Vis. Comput. Graph.	1998	DBLP DOI BibTeX RDF	digital elevation map, GIS, rendering, visibility, shadows, skyline, Terrain, horizon
38	Yao-Chou Cheng, Shin-Yee Lu	The Binary Consistency Checking Scheme and Its Applications to Seismic Horizon Detection.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	binary consistency checking, seismic horizon detection, loop tying, seismic interpretation, computerised pattern recognition, skeletonization, seismology, geophysics computing
38	Robert A. Mueller, Michael R. Duda, Philip H. Sweany, Jack S. Walicki	Horizon: A Retargetable Compiler for Horizontal Microarchitectures.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	horizontal microarchitectures, vertical migration, complex application code, horizontal microcode, optimized microcode, concurrency, abstraction, timing, program compilers, microprogramming, retargetable compiler, assembly languages, Horizon
37	Paul J. Goulart, Eric C. Kerrigan, Daniel Ralph	Efficient robust optimization for robust control with constraints.	Math. Program.	2008	DBLP DOI BibTeX RDF	Constrained control, Receding horizon control, Optimal control, Robust control, Robust optimization, Predictive control
37	H. Van Dyke Parunak, Theodore C. Belding, Sven Brueckner	Prediction horizons in polyagent models.	AAMAS	2007	DBLP DOI BibTeX RDF	polyagents, prediction horizon, prediction, emergent behavior
37	William Chow, Jonathan Rose	EVE: a CAD tool for manual placement and pipelining assistance of FPGA circuits.	FPGA	2002	DBLP DOI BibTeX RDF	event horizon, manual placement and pipelining, FPGA, programmable logic
37	Irwin E. Schochetman, Robert L. Smith 0002	A Finite Algorithm for Solving Infinite Dimensional Optimization Problems.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	continuous time optimization, infinite horizon optimization, optimal control, production control
36	Bin Xu 0007, Andrew Kurdila, Daniel J. Stilwell	A hybrid receding horizon control method for path planning in uncertain environments.	IROS	2009	DBLP DOI BibTeX RDF
36	Bozidar Radunovic, Christos Gkantsidis, Dinan Gunawardena, Peter B. Key	Horizon: balancing tcp over multiple paths in wireless mesh network.	MobiCom	2008	DBLP DOI BibTeX RDF	backpressure, multi-path tcp, congestion control, wireless meshes
36	Gabriel Mihai Lipsa, Nuno C. Martins	Finite horizon optimal memoryless control of a delay in Gaussian noise: A simple counterexample.	CDC	2008	DBLP DOI BibTeX RDF
36	Vinh Bui, Weiping Zhu 0001, Antonio Pescapè, Alessio Botta	Long Horizon End-to-End Delay Forecasts: A Multi-Step-Ahead Hybrid Approach.	ISCC	2007	DBLP DOI BibTeX RDF
36	Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli	Finite horizon analysis of Markov Chains with the Murphi verifier.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Model checking, Markov chains, Automatic verification, Probabilistic model checking, Probabilistic verification
36	Ross Messing, Frank H. Durgin	Distance Perception and the Visual Horizon in Head-Mounted Displays.	ACM Trans. Appl. Percept.	2005	DBLP DOI BibTeX RDF	Virtual reality (VR), head-mounted displays (HMD), space perception, distance perception
36	Eunkyoung G. Cho, Kristin A. Thoney, Thom J. Hodgson, Russell E. King	Supply chain planning: rolling horizon scheduling of multi-factory supply chains.	WSC	2003	DBLP DOI BibTeX RDF
36	György Korniss, Mark A. Novotny, A. K. Kolakowska, Hasan Guclu	Statistical properties of the simulated time horizon in conservative parallel discrete-event simulations.	SAC	2002	DBLP DOI BibTeX RDF	conservative parallel discrete-event simulation, non-equilibrium surface growth, scalability, stochastic processes, Monte Carlo
36	James T. Kuehn, Burton J. Smith	The horizon supercomputing system: architecture and software.	SC	1988	DBLP DOI BibTeX RDF
36	Raymond R. Glenn	Performance prediction for the horizon super computer.	SC	1988	DBLP DOI BibTeX RDF
36	David A. Carlson, John M. Conroy	The fast fourier transform and sparse matrix computations: a study of two applications on teh HORIZON supercomputer.	SC	1988	DBLP DOI BibTeX RDF
34	Stefano Giordani, Marin Lujak, Francesco Martinelli	A Decentralized Scheduling Policy for a Dynamically Reconfigurable Production System.	HoloMAS	2009	DBLP DOI BibTeX RDF	multi-agent system, negotiation, Dynamic scheduling
34	Juan S. Mejía, Dusan M. Stipanovic	Asymptotic stabilization using a constructive approach to constrained nonlinear model predictive control.	CDC	2008	DBLP DOI BibTeX RDF
34	A. K. Kanduri, Geb W. Thomas, Nathalie Cabrol, Edmond Grin, Robert C. Anderson	The (in)accuracy of novice rover operators' perception of obstacle height from monoscopic images.	IEEE Trans. Syst. Man Cybern. Part A	2005	DBLP DOI BibTeX RDF
34	Hamid Khaloozadeh, Ali Abdollahi	An iterative procedure for optimal nonlinear tracking problem.	ICARCV	2002	DBLP DOI BibTeX RDF
30	Ioannis P. Androulakis	Dynamic Programming: Infinite Horizon Problems, Overview.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Dynamic programming, Infinite horizon problems
28	Atle Seierstad, Knut Sydsæter	Conditions implying the vanishing of the Hamiltonian at infinity in optimal control problems.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Infinite horizon, Optimal control
28	Tohru Kawabe	BMI Based RHC Method for Wheelchair.	ICCHP	2008	DBLP DOI BibTeX RDF	Receding horizon control, Adaptive DA converter, Brain machine interface, Man-machine systems
28	Siham Tabik, Jesús M. Vías, Emilio L. Zapata, Luis F. Romero	Fast Insolation Computation in Large Territories.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	Insolation, horizon computation, very large territories, Globus
28	Dan Gordon 0001	The Floating Column Algorithm for Shaded, Parallel Display of Function Surfaces without Patches.	IEEE Trans. Vis. Comput. Graph.	2002	DBLP DOI BibTeX RDF	Floating column, floating horizon, function display, functionally defined terrains, local supersampling, mathematical software packages, graphics hardware, parallel rendering, height-fields
28	Yi-Sheng Yao, Philippe Burlina, Rama Chellappa, Ting-Hu Wu	Electronic image stabilization using multiple visual cues.	ICIP	1995	DBLP DOI BibTeX RDF	electronic image stabilization, multiple visual cues, integrated algorithm, horizon lines, uncalibrated stabilization, calibrated stabilization, model dynamics selection, warping parameters, offroad vehicle platforms, stabilization algorithm, dynamic image analysis, image motion removal, performance, stability, motion estimation, image sequences, parameter estimation, parameter estimation, Kalman filters, calibration, experimental results, points, video sequences, filtering theory, video signal processing, extended Kalman filter
27	Betsy Williams, Travis Rasor, Gayathri Narasimham	Distance perception in virtual environments: a closer look at the horizon and the error.	APGV	2009	DBLP DOI BibTeX RDF	virtual reality (VR), space perception
27	Ioannis M. Rekleitis, Jean-Luc Bedwani, Erick Dupuis	Over-the-horizon, autonomous navigation for planetary exploration.	IROS	2007	DBLP DOI BibTeX RDF
27	Gurkan Koldas, Veysi Isler, Rynson W. H. Lau	Six Degrees of Freedom Incremental Occlusion Horizon Culling Method for Urban Environments.	ISVC (1)	2007	DBLP DOI BibTeX RDF
27	Jian Wu, Sherif Abdelwahed	Discrete-input receding horizon control applied to pneumatic hopping robot energy regulation.	SMC	2007	DBLP DOI BibTeX RDF
27	Bart C. Nabbe, Derek Hoiem, Alexei A. Efros, Martial Hebert	Opportunistic Use of Vision to Push Back the Path-Planning Horizon.	IROS	2006	DBLP DOI BibTeX RDF
27	Daniel E. Quevedo, Graham C. Goodwin	Moving horizon design of discrete coefficient FIR filters.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
27	Timothy K. Horiuchi	A low-power visual horizon estimation chip.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
27	Sean M. O'Malley, Ioannis A. Kakadiaris	Towards Robust Structure-Based Enhancement and Horizon Picking in 3-D Seismic Data.	CVPR (2)	2004	DBLP DOI BibTeX RDF
27	Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli	Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier.	CHARME	2003	DBLP DOI BibTeX RDF
27	Damien Ernst, Pierre Geurts, Louis Wehenkel	Iteratively Extending Time Horizon Reinforcement Learning.	ECML	2003	DBLP DOI BibTeX RDF
27	Ayami Iwata, Kunihito Kato, Kazuhiko Yamamoto	The Proposal of a New Robot Vision System Called the Horizon View Camera.	ICPR (2)	2002	DBLP DOI BibTeX RDF
27	Kristin A. Thoney, Jeffrey A. Joines, Padmanabhan Manninagarajan, Thom J. Hodgson	Scheduling & control: rolling horizon scheduling in large job shops.	WSC	2002	DBLP DOI BibTeX RDF
27	Thomas Parisini, Riccardo Zoppoli	Neural approximations for infinite-horizon optimal control of nonlinear stochastic systems.	IEEE Trans. Neural Networks	1998	DBLP DOI BibTeX RDF
27	Zengjiu Kang, Hyeong Jun Lim, Wook Hyun Kwon	A Parellel Processing Method for Receding Horizon Tracking Control.	ICPADS	1997	DBLP DOI BibTeX RDF
27	Mark R. Thistle, Burton J. Smith	A processor architecture for horizon.	SC	1988	DBLP DOI BibTeX RDF
25	Oren Gal, Zvi Shiller, Elon Rimon	Efficient and safe on-line motion planning in dynamic environments.	ICRA	2009	DBLP DOI BibTeX RDF
25	Ashish Goel, Sanjeev Khanna, Brad Null	The ratio index for budgeted learning, with applications.	SODA	2009	DBLP DOI BibTeX RDF
25	H. Van Dyke Parunak, Theodore C. Belding, Sven A. Brueckner	Prediction Horizons in Agent Models.	EEMMAS	2007	DBLP DOI BibTeX RDF	environment-mediated interactions, swarming multi-agent systems, complex adaptive systems, non-linear dynamics
25	Georgia Perakis, Anshul Sood	Competitive Multi-period Pricing for Perishable Products: A Robust Optimization Approach.	Math. Program.	2006	DBLP DOI BibTeX RDF
25	Min Chee Choy, Dipti Srinivasan, Ruey Long Cheu	Neural Networks for Continuous Online Learning and Control.	IEEE Trans. Neural Networks	2006	DBLP DOI BibTeX RDF
25	Ling Huang, Jinhong Zhong, Zhiwei Ni, Shanling Yang	Mixed Backlogging and Outsourcing Models with Nondecreasing Inventory Capacity.	ISDA (1)	2006	DBLP DOI BibTeX RDF
25	Yuhua Chen, Jonathan S. Turner, Pu-Fan Mo	Optimal Wavelength Scheduling in Optical Burst-Switched Networks Using Constant Time Burst Resequencing.	BROADNETS	2006	DBLP DOI BibTeX RDF
25	Christos Dimitrakakis	Nearly Optimal Exploration-Exploitation Decision Thresholds.	ICANN (1)	2006	DBLP DOI BibTeX RDF
25	Rafael Velásquez, M. Teresa Melo, Stefan Nickel	An LP-based Heuristic Approach for Strategic Supply Chain Design.	OR	2005	DBLP DOI BibTeX RDF
25	Guillermo Gallego 0001, Haichao Hu	Optimal Policies for Production/Inventory Systems with Finite Capacity and Markov-Modulated Demand and Supply Processes.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	Markov-modulated demand and Markov-modulated yield, modified state-dependent inflated base-stock policy, production/inventory system, finite-capacity
25	Shigang Li 0001	Sky-Ground Representation for Local Scene Description.	ICPR (3)	2004	DBLP DOI BibTeX RDF	Spherical image, gravity reference, scene analysis
25	Aniruddha Datta, Ashish Choudhary, Michael L. Bittner, Edward R. Dougherty	External Control in Markovian Genetic Regulatory Networks.	Mach. Learn.	2003	DBLP DOI BibTeX RDF	dynamic programming, Markov chain, optimal control, gene regulatory network
25	Richard I. Hartley, Chanop Silpa-Anan	Visual navigation in a plane using the conformal point.	ISRR	2001	DBLP DOI BibTeX RDF
25	Manfred Morari	Control as an Embedded Technology.	HSCC	2001	DBLP DOI BibTeX RDF
25	Reinhold Behringer	Registration for Outdoor Augmented Reality Applications Using Computer Vision Techniques and Hybrid Sensors.	VR	1999	DBLP DOI BibTeX RDF
25	Eitan Altman, Arie Hordijk	Zero-sum Markov games and worst-case optimal control of queueing systems.	Queueing Syst. Theory Appl.	1995	DBLP DOI BibTeX RDF	Zero-sum stochastic games, discounted and expected average cost, worst case control of queueing networks, value iteration, structural properties of optimal policies and value function
20	Hyeong Soo Chang	On Supervised Online Rolling-Horizon Control for Infinite-Horizon Discounted Markov Decision Processes.	IEEE Trans. Autom. Control.	2024	DBLP DOI BibTeX RDF
20	Walid Khellaf	Modélisation des incertitudes en horizon glissant et compilation de solutions de problèmes de lot sizing pour la planification tactique d'une chaîne logistique décentralisée. (Modeling uncertainties within the rolling horizon and compiling solutions to lot sizing problems for tactical planning in a decentralized supply chain).		2023	RDF
20	Filiberto Fele, Antonio de Paola, David Angeli, Goran Strbac	A framework for receding-horizon control in infinite-horizon aggregative games.	CoRR	2022	DBLP DOI BibTeX RDF
20	Karla Carrero-Vera, Hugo Cruz-Suárez, Raúl Montes-de-Oca	Finite-Horizon and Infinite-Horizon Markov Decision Processes with Trapezoidal Fuzzy Discounted Rewards.	ICORES (Selected Papers)	2021	DBLP DOI BibTeX RDF
20	Ruosong Wang, Simon S. Du, Lin F. Yang, Sham M. Kakade	Is Long Horizon Reinforcement Learning More Difficult Than Short Horizon Reinforcement Learning?	CoRR	2020	DBLP BibTeX RDF
20	Ruosong Wang, Simon S. Du, Lin F. Yang, Sham M. Kakade	Is Long Horizon RL More Difficult Than Short Horizon RL?	NeurIPS	2020	DBLP BibTeX RDF
20	Nathan Kallus, Masatoshi Uehara	Efficiently Breaking the Curse of Horizon: Double Reinforcement Learning in Infinite-Horizon Processes.	CoRR	2019	DBLP BibTeX RDF
20	Avijit Das, Zhen Ni	A Case Study of Horizon Window in Receding Horizon Control for Renewable Energy Integration.	EIT	2019	DBLP DOI BibTeX RDF
20	Filiberto Fele, Antonio de Paola, David Angeli, Goran Strbac	A framework for receding-horizon control in infinite-horizon aggregative games.	Annu. Rev. Control.	2018	DBLP DOI BibTeX RDF
20	Qiang Liu 0001, Lihong Li 0001, Ziyang Tang, Dengyong Zhou	Breaking the Curse of Horizon: Infinite-Horizon Off-Policy Estimation.	CoRR	2018	DBLP BibTeX RDF
20	Qiang Liu 0001, Lihong Li 0001, Ziyang Tang, Dengyong Zhou	Breaking the Curse of Horizon: Infinite-Horizon Off-Policy Estimation.	NeurIPS	2018	DBLP BibTeX RDF
20	Yuan-Hua Ni, Xun Li 0002, Ji-Feng Zhang	Indefinite Mean-Field Stochastic Linear-Quadratic Optimal Control: From Finite Horizon to Infinite Horizon.	IEEE Trans. Autom. Control.	2016	DBLP DOI BibTeX RDF
20	Martin Gugat, Emmanuel Trélat, Enrique Zuazua	Optimal Neumann control for the 1D wave equation: Finite horizon, infinite horizon, boundary tracking terms and the turnpike property.	Syst. Control. Lett.	2016	DBLP DOI BibTeX RDF
20	Daniel Burgstahler, Christoph Peusens, Doreen Böhnstedt, Ralf Steinmetz	Horizon.KOM: A First Step Towards an Open Vehicular Horizon Provider.	VEHITS	2016	DBLP DOI BibTeX RDF
20	Rajani Chulyadyo	A new horizon for the recommendation: Integration of spatial dimensions to aid decision making. (Un nouvel horizon pour la recommandation : Intégration de la dimension spatiale dans l'aide à la décision).		2016	RDF
20	Kazuho Watanabe, Teemu Roos	Achievability of asymptotic minimax regret by horizon-dependent and horizon-independent strategies.	J. Mach. Learn. Res.	2015	DBLP BibTeX RDF
20	Vasumathi Raman, Mattias Fält, Tichakorn Wongpiromsarn, Richard M. Murray	Online horizon selection in receding horizon temporal logic planning.	IROS	2015	DBLP DOI BibTeX RDF
20	Milan Vukov	Embedded Model Predictive Control and Moving Horizon Estimation for Mechatronics Applications ; Ingebedde modelgebaseerde predictieve regeling en glijdende-horizon-schatting voor mechatronische toepassingen. (PDF / PS)		2015	RDF
20	Xiaochun Cao, Feng Jiang, Siyuan Li, Xiaojie Guo 0001	Horizon matters: Image re-targeting using horizon cues.	ICME	2013	DBLP DOI BibTeX RDF
20	Xin Cai, Shaoyuan Li, Ning Li 0008, Kang Li 0002	On Variation of Infinite Horizon Performance of Model Predictive Control with Varying Receding Horizon.	ICONS	2013	DBLP DOI BibTeX RDF
20	Divya Garg, Michael A. Patterson, Camila Francolin, Christopher Darby, Geoffrey T. Huntington, William W. Hager, Anil V. Rao	Direct trajectory optimization and costate estimation of finite-horizon and infinite-horizon optimal control problems using a Radau pseudospectral method.	Comput. Optim. Appl.	2011	DBLP DOI BibTeX RDF
20	Christian-Oliver Ewald, Wen-Kai Wang	Analytic solutions for infinite horizon stochastic optimal control problems via finite horizon approximation: A practical guide.	Math. Soc. Sci.	2011	DBLP DOI BibTeX RDF
20	Lars Grüne, Anders Rantzer	On the Infinite Horizon Performance of Receding Horizon Controllers.	IEEE Trans. Autom. Control.	2008	DBLP DOI BibTeX RDF
20	Zhonghua Quan, Soo Hee Han, Wook Hyun Kwon	Stability-Guaranteed Horizon Size for Receding Horizon Control.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2007	DBLP DOI BibTeX RDF