Verification and synthesis of optimal decision strategies for complex systems
暂无分享,去创建一个
[1] Holger Hermanns,et al. A Markov Chain Model Checker , 2000, TACAS.
[2] Linda Nøstbakken,et al. Stochastic Modelling of the North Sea Herring Fishery Under Alternative Management Regimes , 2008, Marine Resource Economics.
[3] Simin Nadjm-Tehrani,et al. Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems , 2008, 2008 11th IEEE High Assurance Systems Engineering Symposium.
[4] A. Charnes,et al. Chance-Constrained Programming , 1959 .
[5] M. Morari,et al. Fast explicit nonlinear model predictive control via multiresolution function approximation with guaranteed stability , 2010 .
[6] Marta Z. Kwiatkowska,et al. Using probabilistic model checking in systems biology , 2008, PERV.
[7] Yijun Hu,et al. Ruin probabilities for discrete time risk models with stochastic rates of interest , 2008 .
[8] Jonathan Timmis,et al. Modelling the Tunability of Early T Cell Signalling Events , 2008, ICARIS.
[9] Jun Cai,et al. Ruin probabilities with a Markov chain interest model , 2004 .
[10] Alessandro Abate,et al. Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems , 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.
[11] J. Roughgarden,et al. Why fisheries collapse and what to do about it. , 1996, Proceedings of the National Academy of Sciences of the United States of America.
[12] Sergio A. Velastin,et al. Intelligent distributed surveillance systems: a review , 2005 .
[13] Jerzy A. Filar,et al. Stochastic target hitting time and the problem of early retirement , 2004, IEEE Transactions on Automatic Control.
[14] Crow White,et al. Marine reserve effects on fishery profit , 2008, Ecology letters.
[15] Ulrich Rieder,et al. Non-Cooperative Dynamic Games with General Utility Functions , 1991 .
[16] Manfred Morari,et al. A multiscale approximation scheme for explicit model predictive control with stability, feasibility, and performance guarantees , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.
[17] Jerry Ding,et al. Methods for Reachability-based Hybrid Controller Design , 2012 .
[18] John Lygeros,et al. Local Identification of Piecewise Deterministic Models of Genetic Networks , 2009, HSCC.
[19] André E. Punt,et al. Design of operational management strategies for achieving fishery ecosystem objectives , 2000 .
[20] John Lygeros,et al. Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems , 2007, HSCC.
[21] G. Fiengo,et al. Optimal camera trajectory for video surveillance systems , 2006, 2006 American Control Conference.
[22] Jostein Paulsen. Ruin Models with Investment Income , 2010 .
[23] S. Shankar Sastry,et al. Conflict resolution for air traffic management: a study in multiagent hybrid systems , 1998, IEEE Trans. Autom. Control..
[24] John Lygeros,et al. A stochastic reach-avoid problem with random obstacles , 2011, HSCC '11.
[25] Andrew Hinton,et al. PRISM: A Tool for Automatic Verification of Probabilistic Systems , 2006, TACAS.
[26] Amit K. Roy-Chowdhury,et al. Decentralized camera network control using game theory , 2008, 2008 Second ACM/IEEE International Conference on Distributed Smart Cameras.
[27] Marc Mangel,et al. IMPLEMENTING THE PRECAUTIONARY PRINCIPLE IN FISHERIES MANAGEMENT THROUGH MARINE RESERVES , 1998 .
[28] Stephen Polasky,et al. Optimal harvesting of stochastic spatial resources , 2008 .
[29] M. Khammash,et al. The finite state projection algorithm for the solution of the chemical master equation. , 2006, The Journal of chemical physics.
[30] V. Borkar. Probability Theory: An Advanced Course , 1995 .
[31] Linda R. Petzold,et al. Stochastic modelling of gene regulatory networks , 2005 .
[32] John Lygeros,et al. Discrete time stochastic hybrid dynamical games: Verification & controller synthesis , 2011, IEEE Conference on Decision and Control and European Control Conference.
[33] Joost-Pieter Katoen,et al. Quantitative automata model checking of autonomous stochastic hybrid systems , 2011, HSCC '11.
[34] Jun Cai,et al. DISCRETE TIME RISK MODELS UNDER RATES OF INTEREST , 2002, Probability in the Engineering and Informational Sciences.
[35] Nicu Sebe,et al. Cooperative Object Tracking with Multiple PTZ Cameras , 2007, 14th International Conference on Image Analysis and Processing (ICIAP 2007).
[36] Jostein Paulsen,et al. Ruin theory with compounding assets -- a survey , 1998 .
[37] S. Sastry,et al. Probabilistic pursuit-evasion games: a one-step Nash approach , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).
[38] Ton Dekok. Ruin probabilities with compounding assets for discrete time finite horizon problems, independent period claim sizes and general premium structure , 2010 .
[39] William D. Sudderth,et al. Finitely additive stochastic games with Borel measurable payoffs , 1998, Int. J. Game Theory.
[40] Colin W. Clark,et al. Mathematical Bioeconomics: The Optimal Management of Renewable Resources. , 1993 .
[41] W. Rudin. Real and complex analysis, 3rd ed. , 1987 .
[42] John Lygeros,et al. A Probabilistic Reach-Avoid Problem for Controlled Discrete Time Stochastic Hybrid Systems , 2009, ADHS.
[43] Gregory F. Welch,et al. On-line control of active camera networks , 2010 .
[44] D. D. Sworder,et al. Minimax Control of Discrete Time Stochastic Systems , 1964 .
[45] Ehud Rivlin,et al. Scanning and tracking with independent cameras—a biologically motivated approach based on model predictive control , 2008, Auton. Robots.
[46] Qihe Tang,et al. Precise estimates for the ruin probability in finite horizon in a discrete-time model with heavy-tai , 2003 .
[47] Michael Huth,et al. On finite-state approximants for probabilistic computation tree logic , 2005, Theor. Comput. Sci..
[48] D. Pincus,et al. In silico feedback for in vivo regulation of a gene expression circuit , 2011, Nature Biotechnology.
[49] A. Nowak. Universally Measurable Strategies in Zero-Sum Stochastic Games , 1985 .
[50] Joost-Pieter Katoen,et al. A Markov reward model checker , 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).
[51] Manfred Morari,et al. A tracking algorithm for PTZ cameras , 2010 .
[52] John Lygeros,et al. Probabilistic certification of pan-tilt-zoom camera surveillance systems , 2011, IEEE Conference on Decision and Control and European Control Conference.
[53] Ting Yu,et al. Collaborative Real-Time Control of Active Cameras in Large Scale Surveillance Systems , 2008 .
[54] Michel Verhaegen,et al. An ellipsoid algorithm for probabilistic robust controller design , 2003, Syst. Control. Lett..
[55] Jonathan W. Pitchford,et al. Uncertainty and sustainability in fisheries and the benefit of marine protected areas , 2007 .
[56] John Lygeros,et al. Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems , 2008, Autom..
[57] Marta Z. Kwiatkowska,et al. Stochastic Model Checking , 2007, SFM.
[58] T. Başar,et al. Dynamic Noncooperative Game Theory , 1982 .
[59] Maryam Kamgarpour,et al. Optimal Control of Hybrid Systems in Air Traffic Applications , 2011 .
[60] J.P. Hespanha,et al. Multiple-agent probabilistic pursuit-evasion games , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).
[61] Luca Schenato,et al. Distributed perimeter patrolling and tracking for camera networks , 2010, 49th IEEE Conference on Decision and Control (CDC).
[62] Stanisa Dautovic,et al. Dynamic Power Management of a System With a Two-Priority Request Queue Using Probabilistic-Model Checking , 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[63] Dimitri P. Bertsekas,et al. Stochastic optimal control : the discrete time case , 2007 .
[64] M. Khammash,et al. Robust Disturbance Rejection in l1 Optimal Control Systems , 1990, American Control Conference.
[65] B. Boudevillain,et al. Assessment of Vertically Integrated Liquid (VIL) Water Content Radar Measurement , 2003 .
[66] L. Blackmore. A Probabilistic Particle Control Approach to Optimal, Robust Predictive Control , 2006 .
[67] John Lygeros,et al. Multi-objective optimal control of stochastic hybrid systems , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).
[68] Manfred Schäl,et al. Control of ruin probabilities by discrete-time investments , 2005, Math. Methods Oper. Res..
[69] Jon M. Conrad,et al. The Bioeconomics of Marine Sanctuaries , 1997 .
[70] Ana Brasão. Stochastic Bio-Economic Model of Northern Atlantic and Mediterranean Bluefin Tuna , 2000 .
[71] H. Nyrhinen,et al. On the ruin probabilities in a general economic environment , 1999 .
[72] Manfred Morari,et al. A Set-Theoretic Method for Verifying Feasibility of a Fast Explicit Nonlinear Model Predictive Controller , 2012 .
[73] W. Hanemann,et al. Fishery Management Under Multiple Uncertainty , 2004 .
[74] Sean Pascoe,et al. Use of simple bioeconomic models to estimate optimal effort levels in the Korean coastal flounder fisheries , 2005 .
[75] John Lygeros,et al. A stochastic reachability framework for autonomous surveillance with pan-tilt-zoom cameras , 2011, IEEE Conference on Decision and Control and European Control Conference.
[76] S. Shankar Sastry,et al. Safe and Secure Networked Control Systems under Denial-of-Service Attacks , 2009, HSCC.
[77] John Lygeros,et al. Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem , 2010, Autom..
[78] Panagiotis Katsaros,et al. A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats , 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.
[79] J. Lygeros,et al. Moment estimation for chemically reacting systems by extended Kalman filtering. , 2011, The Journal of chemical physics.
[80] Gianfranco Ciardo,et al. Logic and stochastic modeling with S m A r T , 2006, Perform. Evaluation.
[81] John Lygeros,et al. Bayesian model selection for the yeast GATA-factor network: A comparison of computational approaches , 2010, 49th IEEE Conference on Decision and Control (CDC).
[82] John Lygeros,et al. On the connections between PCTL and dynamic programming , 2009, HSCC '10.
[83] Hailiang Yang,et al. Ruin problems for a discrete time risk model with random interest rate , 2006, Math. Methods Oper. Res..
[84] John Lygeros,et al. Stochastic dynamics of genetic networks: modelling and parameter identification , 2008, Bioinform..
[85] Alessandro Abate,et al. Regularization of bellman equations for infinite-horizon probabilistic properties , 2012, HSCC '12.
[86] Manfred Morari,et al. A Multiresolution Approximation Method for Fast Explicit Model Predictive Control , 2011, IEEE Transactions on Automatic Control.
[87] Marta Z. Kwiatkowska,et al. Probabilistic model checking of complex biological pathways , 2008, Theor. Comput. Sci..
[88] Alessandro Abate,et al. Stability and attractivity of absorbing sets for discrete-time Markov processes , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).
[89] S. Shankar Sastry,et al. Probabilistic pursuit-evasion games: theory, implementation, and experimental evaluation , 2002, IEEE Trans. Robotics Autom..
[90] Luc Van Gool,et al. A distributed camera system for multi-resolution surveillance , 2009, 2009 Third ACM/IEEE International Conference on Distributed Smart Cameras (ICDSC).
[91] P. Kumar,et al. Existence of Value and Randomized Strategies in Zero-Sum Discrete-Time Stochastic Dynamic Games , 1981 .
[92] J. Evans,et al. THE CORRIDOR INTEGRA TED WEATHER SYSTEM (CIWS) , 2002 .
[93] John Lygeros,et al. A Dynamic Game Framework for Verification and Control of Stochastic Hybrid Systems , 2011 .
[94] Reid G. Simmons,et al. Particle RRT for Path Planning with Uncertainty , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.
[95] Steven A. Amburn,et al. VIL Density as a Hail Indicator , 1997 .
[96] Giuseppe Carlo Calafiore,et al. The scenario approach to robust control design , 2006, IEEE Transactions on Automatic Control.
[97] Bengt Jonsson,et al. A logic for reasoning about time and reliability , 1990, Formal Aspects of Computing.