Search results for "Stochastic systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Yamei Gong, Shengyuan Xu	Guaranteed Cost Control for Uncertain Stochastic Systems with State and Input Delays.	ICICIC	2006	DBLP DOI BibTeX RDF	guaranteed cost control, delay, linear matrix inequality, stochastic systems, parameter uncertainty
3	Matthias Kuntz, Markus Siegle	Symbolic Model Checking of Stochastic Systems: Theory and Implementation.	SPIN	2006	DBLP DOI BibTeX RDF	performance and dependability analysis, model checking software, symbolic model checking, Stochastic systems
3	Gao Zhenbin, Qian Fucai, Liu Ding	Variance Minimization Dual Adaptive Control for Stochastic Systems with Unknown Parameters.	ICNC	2006	DBLP DOI BibTeX RDF	dual control, adaptive control, stochastic systems
3	John B. Moore, Xun Yu Zhou, Andrew E. B. Lim	On LQG Control of Linear Stochastic Systems with Control Dependent Noise.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Paolo Zuliani, André Platzer, Edmund M. Clarke	Bayesian statistical model checking with application to Simulink/Stateflow verification.	HSCC	2010	DBLP DOI BibTeX RDF	bayesian statis tics, statistical model checking, hybrid systems, probabilistic model checking, stochastic systems
2	Puya Ghasemi Afshar, Hong Wang 0001, Tianyou Chai	An ILC-Based Adaptive Control for General Stochastic Systems With Strictly Decreasing Entropy.	IEEE Transactions on Neural Networks	2009	DBLP DOI BibTeX RDF
2	Ligang Wu, Daniel W. C. Ho	Fuzzy Filter Design for ItÔ Stochastic Systems With Application to Sensor Fault Detection.	IEEE T. Fuzzy Systems	2009	DBLP DOI BibTeX RDF
2	Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer	Compositional Abstraction for Stochastic Systems.	FORMATS	2009	DBLP DOI BibTeX RDF
2	Kalpana Gondi, Yogeshkumar Patel, A. Prasad Sistla	Monitoring the Full Range of omega-Regular Properties of Stochastic Systems.	VMCAI	2009	DBLP DOI BibTeX RDF
2	Yang Yi, Tianping Zhang, Lei Guo	Multi-objective PID control for non-Gaussian stochastic distribution system based on two-step intelligent models.	Science in China Series F: Information Sciences	2009	DBLP DOI BibTeX RDF	non-Gaussian stochastic systems, B-spline NN, L 1 performance index, probability density function, PID controller, T-S fuzzy model
2	Hailong Xing, WenJie Zhao, Donghai Li	Variable Structure Control for Parameter Uncertain Stochastic Systems with Time-Varying Delay.	RAM	2008	DBLP DOI BibTeX RDF
2	A. Prasad Sistla, Abhigna R. Srinivas	Monitoring Temporal Properties of Stochastic Systems.	VMCAI	2008	DBLP DOI BibTeX RDF
2	Chung-Shi Tseng	Robust Fuzzy Filter Design for a Class of Nonlinear Stochastic Systems.	IEEE T. Fuzzy Systems	2007	DBLP DOI BibTeX RDF
2	Haiqin Sun, Huiling Xu, Chenglin Wen	Hinfinity Tracking Control of Descriptor Nonlinear System for Output PDFs of Stochastic Systems Based on B-Spline Neural Networks.	ISNN	2007	DBLP DOI BibTeX RDF
2	Erik Johannesson, Toivo Henningsson, Anton Cervin	Sporadic Control of First-Order Linear Stochastic Systems.	HSCC	2007	DBLP DOI BibTeX RDF
2	Jianfang Jia, Taiyuan Liu, Hong Yue, Hong Wang 0001	Minimum Entropy Control Algorithm for General Dynamic Stochastic Systems.	ICICIC	2006	DBLP DOI BibTeX RDF
2	Zhisheng Duan, Jingxin Zhang, Cishen Zhang, Edoardo Mosca	A simple design method of Hinfinity reduced-order filters for stochastic systems.	ISCAS	2006	DBLP DOI BibTeX RDF
2	Weihai Zhang, Bor-Sen Chen, Chung-Shi Tseng	Robust Hinfinity filtering for nonlinear stochastic systems.	IEEE Transactions on Signal Processing	2005	DBLP DOI BibTeX RDF
2	Lei Guo, Hong Wang 0001	PID controller design for output PDFs of stochastic systems using linear matrix inequalities.	IEEE Transactions on Systems, Man, and Cybernetics, Part B	2005	DBLP DOI BibTeX RDF
2	Zidong Wang, Daniel W. C. Ho, Xiaohui Liu	Variance-Constrained Control for Uncertain Stochastic Systems With Missing Measurements.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2005	DBLP DOI BibTeX RDF
2	Koushik Sen, Mahesh Viswanathan, Gul Agha	On Statistical Model Checking of Stochastic Systems.	CAV	2005	DBLP DOI BibTeX RDF
2	Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.)	Validation of Stochastic Systems - A Guide to Current Research	Validation of Stochastic Systems	2004	DBLP BibTeX RDF
2	Matthias Kuntz, Kai Lampka	Probabilistic Methods in State Space Analysis.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
2	Mario Bravetti, Pedro R. D'Argenio	Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
2	Ph. Schnoebelen	The Verification of Probabilistic Lossy Channel Systems.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
2	Frank Ciesinski, Marcus Größer	On Probabilistic Computation Tree Logic.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF	PCTL, PCTL*, probabilistic deterministic systems, probabilistic nondeterministic systems, quantitative model checking, scheduler, fairness, Markov decision processes, discrete time Markov chains
2	Peter Buchholz, Peter Kemper	Kronecker Based Matrix Representations for Large Markov Models.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
2	Gethin Norman	Analysing Randomized Distributed Algorithms.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
2	Natalia López, Manuel Núñez	An Overview of Probabilistic Process Algebras and their Equivalences.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
2	Jeremy Sproston	Model Checking for Probabilistic Timed Systems.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
2	Rashid Mehmood	Serial Disk-based Analysis of Large Stochastic Models.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
2	Michael Huth	An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
2	Andrew S. Miner, David Parker	Symbolic Representations and Analysis of Large Probabilistic Systems.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
2	Ana Sokolova, Erik P. de Vink	Probabilistic Automata: System Types, Parallel Composition and Comparison.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF	probabilistic automata (transition systems), probabilistic bisimulation, preservation and reflection of bisimulation, non-determinism, parallel composition
2	Benedikt Bollig, Martin Leucker	Verifying Qualitative Properties of Probabilistic Programs.	Validation of Stochastic Systems	2004	DBLP DOI BibTeX RDF
2	Alex Biryukov, Christophe De Cannière, Michaël Quisquater	On Multiple Linear Approximations.	CRYPTO	2004	DBLP DOI BibTeX RDF	multiple linear approximations, stochastic systems of linear equations, maximum likelihood decoding, key-ranking, AES, DES, Linear cryptanalysis
2	Randa Herzallah, David Lowe	Robust control of nonlinear stochastic systems by modelling conditional distributions of control signals.	Neural Computing and Applications	2003	DBLP DOI BibTeX RDF	Error bar, Neural networks, Uncertainty, Stochastic systems, Distribution modelling
2	Shuping Chen, Xunjing Li, Jiongmin Yong, Xun Yu Zhou (eds.)	Control of Distributed Parameter and Stochastic Systems, Proceedings of the IFIP WG7.2 International Conference, June 19-22, 1998, Hangzhou, China	Control of Distributed Parameter and Stochastic Systems	1999	DBLP BibTeX RDF
2	Kangsheng Liu, Zhuangyi Liu	Boundary Stabilization of a Hybrid System.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Richard H. Fabiano	Renorming for Elastic Systems with Structural Damping.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Xunjing Li	Optimal Control Theory: from Finite Dimensions to Infinite Dimensions.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	M. Kohlmann	Reflected Forward Backward Stochastic Differential Equations and Contingent Claims.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	M. James	Nonlinear Hinfinite Control: A Stochastic Perspective.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Shuping Chen, X. Yu	Linear Quadratic Optimal Control: from Deterministic to Stochastic Cases.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	El Kebir Boukas, Hailiang Yang	Robust Stabilization of Nonlinear Systems with Markovian Jumping Parameters.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	John Lagnese	Domain Decomposition in Optimal Control of Eliptic Systems on 2-d Networks.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	H. Kunita	Short Time Asymptotics of Random Heat Kernels.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	George Avalos, Irena Lasiecka	Exact - Approximate Boundary Controllability of Thermoelastic Systems under Free Boundary Conditions.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Suzanne M. Lenhart, M. Liang, Vladimir A. Protopopescu	Identification Problem for a Wave Equation via Optimal Control.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Thomas I. Seidman	A Distributed Bioremediation Problem with Modal Switching.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	S. Kang, T. B. Stauffer, K. Hatfield	A Practical Estimation Technique for Spatial Distribution of Groundwater Contaminant.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	M. Bergounioux, Fredi Tröltzsch	A Linear Parabolic Boundary Control Problem with Mixed Control-State Constraint.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Y. Fujita	A One-Dimensional Ratio Ergodic Control Problem.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	L. L. Xie, Lei Guo	Limitations and Capabilities of Feedback for Controlling Uncertain Systems.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Jane Ye	Necessary Optimality Conditions for Control of Strongly Monotone Variational Inequalities.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Kangsheng Liu, David L. Russell	New Meaning of Exact Controllability of Linear Sytems in Hilbert Spaces.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Z. H. Zhang, Xiaoling Xiang	Optimal Controls of a Class of Strongly Nonlinear Evolution Systems.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Shige Peng	Open Problems on Backward Stochastic Differential Equations.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	H. Morimoto, Y. Fujita	Radial Symmetry of Classical Solutions for Bellman Equations in Ergodic Control.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Jin Ma, Tim Zajic	Rough Asymptotics of Forward-Backward Stochastic Differential Equations.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Qing Zhang, Gang George Yin	Asymptotically Optimal Controls of Hybrid LQG. Problems: Summary of Results.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Jiongmin Yong	Stochastic Controls and FBSDEs.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	B. Mordukhovich	Minimax Design of Constrained Parabolic Systems.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Rong Situ	Comparison Theorem of Solutions to BSDE with Jumps, and Viscosity Solution to a Generalized HJB Equation.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	P. Collings, Ulrich G. Haussmann	Optimal Portfolio Selection with Transaction Costs.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Srdjan Stojanovic	Multivariate Constrained Portfolio Rules: Derivation of Monge-Ampère Equations.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Masahiro Yamamoto	Reconstruction of Source Terms in Evolution Equations by Exact Controllability.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Gengsheng Wang	Optimal Control Problems Governed by an Elliptic Differential Equation with Critical Exponent.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Irena Lasiecka, Roberto Triggiani, P. Yao	An Observability Estimate in L2 (Omega) x H-1 (Omega) for Second-Order Hyperbolic Equations with Variable Coefficients.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Scott Hansen, Zhuangyi Liu	Analyticity of Semigroup Asscociated with a Laminated Composite Beam.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Gang George Yin, M. Kniazeva	Time-scale Separation and State Aggregation in Singularly Perturbed Switching Diffusions.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Takao Nambu	Stabilization of Linear Boundary Control Systems of Parabolic Type: An Algebraic Approach.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Michel Delfour	Membrane Shell Equation: Characterization of the Space of Solutions.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Tyrone E. Duncan	Some Approaches to Ergodic and Adaptive Control of Stochastic Semilinear Systems.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Fariba Fahroo, C. Wang	Stability and Approximation of an Acoustic-Structure Model.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Xun Yu Zhou, D. Li	Explicit Efficient Frontier of a Continuous-Time Mean Variance Portfolio Selection Problem.	Control of Distributed Parameter and Stochastic Systems	1998	DBLP BibTeX RDF
2	Donald L. Iglehart	Simulating Stable Stochastic Systems, VI: Quantile Estimation.	J. ACM	1976	DBLP DOI BibTeX RDF
2	Michael A. Crane, Donald L. Iglehart	Simulating Stable Stochastic Systems, I: General Multiserver Queues.	J. ACM	1974	DBLP DOI BibTeX RDF
1	Huiping Li, Yang Shi	Robust H∞ filtering for nonlinear stochastic systems with uncertainties and Markov delays.	Automatica	2012	DBLP DOI BibTeX RDF
1	Evangelia Kalligiannaki, Markos A. Katsoulakis, Petr Plechác, Dionisios G. Vlachos	Multilevel coarse graining and nano-pattern discovery in many particle stochastic systems.	J. Comput. Physics	2012	DBLP DOI BibTeX RDF
1	Michael V. Basin, Santiago Elvira-Ceja, Edgar N. Sanchez	Mean-square H∞ filtering for stochastic systems: Application to a 2DOF helicopter.	Signal Processing	2012	DBLP DOI BibTeX RDF
1	Wei Yang, Ming Liu, Ping Shi	H∞ filtering for nonlinear stochastic systems with sensor saturation, quantization and random packet losses.	Signal Processing	2012	DBLP DOI BibTeX RDF
1	Honggang Wang	Retrospective optimization of mixed-integer stochastic systems using dynamic simplex linear interpolation.	European Journal of Operational Research	2012	DBLP DOI BibTeX RDF
1	Maciej Niedzwiecki	Locally Adaptive Cooperative Kalman Smoothing and Its Application to Identification of Nonstationary Stochastic Systems.	IEEE Transactions on Signal Processing	2012	DBLP DOI BibTeX RDF
1	Lorenzo Fagiano, Mustafa Khammash	Simulation of stochastic systems via polynomial chaos expansions and convex optimization	CoRR	2012	DBLP BibTeX RDF
1	Cheng Wang, Yi Shen	Robust H∞ control for stochastic systems with nonlinearity, uncertainty and time-varying delay.	Computers & Mathematics with Applications	2012	DBLP DOI BibTeX RDF
1	Mohamadreza Ahmadi, Hamed Mojallali, Roozbeh Izadi-Zamanabadi	State estimation of nonlinear stochastic systems using a novel meta-heuristic particle filter.	Swarm and Evolutionary Computation	2012	DBLP DOI BibTeX RDF
1	Caixia Liu, Yingqi Zhang, Huixia Sun	Finite-Time H∞ Filtering for Singular Stochastic Systems.	J. Applied Mathematics	2012	DBLP DOI BibTeX RDF
1	Yingqi Zhang, Caixia Liu, Xiaowu Mu	Robust finite-time H∞ control of singular stochastic systems via static output feedback.	Applied Mathematics and Computation	2012	DBLP DOI BibTeX RDF
1	Cheng Wang, Yi Shen	Delay-range-dependent stability for uncertain stochastic systems with interval time-varying delay and nonlinear perturbations.	Int. J. Comput. Math.	2012	DBLP DOI BibTeX RDF
1	Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis	Automatic Verification of Competitive Stochastic Systems.	TACAS	2012	DBLP DOI BibTeX RDF
1	Huai-Ning Wu, Jun-Wei Wang, Peng Shi	A delay decomposition approach to L2-Linfinity filter design for stochastic systems with time-varying delay.	Automatica	2011	DBLP DOI BibTeX RDF
1	Cédric Langbort, Valery A. Ugrinovskii	Diagonal stability of stochastic systems subject to nonlinear disturbances and diagonal H2 norms.	Automatica	2011	DBLP DOI BibTeX RDF
1	Hua Yong Liang, Tong Zhou	Robust state estimation for uncertain discrete-time stochastic systems with missing measurements.	Automatica	2011	DBLP DOI BibTeX RDF
1	C. X. Zhu, W. Q. Zhu	Feedback control of nonlinear stochastic systems for targeting a specified stationary probability density.	Automatica	2011	DBLP DOI BibTeX RDF
1	Maciej Niedzwiecki, Szymon Gackowski	On noncausal weighted least squares identification of nonstationary stochastic systems.	Automatica	2011	DBLP DOI BibTeX RDF
1	László Gerencsér, Lorenzo Finesso	A two-stage information criterion for stochastic systems revisited.	Automatica	2011	DBLP DOI BibTeX RDF
1	Wei Feng, Jie Tian, Ping Zhao	Stability analysis of switched stochastic systems.	Automatica	2011	DBLP DOI BibTeX RDF
1	Ming Liu, Jia You, Xincheng Ma	H∞ filtering for sampled-data stochastic systems with limited capacity channel.	Signal Processing	2011	DBLP DOI BibTeX RDF
1	Peter Benner, Tobias Damm	Lyapunov Equations, Energy Functionals, and Model Order Reduction of Bilinear and Stochastic Systems.	SIAM J. Control and Optimization	2011	DBLP DOI BibTeX RDF