首页> 外文OA文献 >Convex programs for temporal verification of nonlinear dynamical systems

【2h】

Convex programs for temporal verification of nonlinear dynamical systems

机译：凸程序用于非线性动力学系统的时间验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Stephen Prajna; Anders Rantzer;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Convex programs for temporal verification of nonlinear dynamical systems [J] . Prajna S, Rantzer A SIAM Journal on Control and Optimization . 2008,第3期

机译：凸程序用于非线性动力学系统的时间验证
2. Convex programs for temporal verification of nonlinear dynamical systems [J] . Prajna S, Rantzer A SIAM Journal on Control and Optimization . 2007,第3期

机译：用于非线性动力学系统时间验证的凸程序
3. Discrete dynamic convexized method for nonlinearly constrained nonlinear integer programming [J] . Wenxing Zhu, M.M. Ali Computers & operations research . 2009,第10期

机译：非线性约束非线性整数规划的离散动态凸方法
4. Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming [C] . Lei Bu Jianhua Zhao, Xuandong Li Verification, model checking, and abstract interpretation . 2010

机译：基于凸规划的一类非线性混合自动机的路径可达性验证
5. Convex Nonlinear and Integer Programming Approaches for Distributionally Robust Optimization of Complex Systems [D] . Zhang, Yiling. 2019

机译：复杂系统分布鲁棒优化的凸非线性和整数规划方法
6. Scalable nonlinear programming framework for parameter estimation in dynamic biological system models [O] . Sungho Shin, Ophelia S. Venturelli, Victor M. Zavala 2019

机译：动态生物系统模型中参数估计的可扩展非线性规划框架
7. Convex Programs for Temporal Verification of Nonlinear Dynamical Systems [O] . Prajna Stephen, Rantzer Anders 2007

机译：非线性动力学系统时间验证的凸程序
8. Verification of Concurrent Programs: A Temporal Proof System [R] . Manna, Z., Pnueli, A. 1983

机译：并发程序的验证：时间证明系统

Convex programs for temporal verification of nonlinear dynamical systems

著录项

引文网络

相似文献

相关主题

期刊订阅