Formal Methods for Safety and Security. 1st ed. 2018

QRコード

Formal Methods for Safety and Security. 1st ed. 2018

保存先:

書誌詳細
主要な著者:	Nanda, Manju, Jeppu, Yogananda
フォーマット:	図書
言語:	English
出版事項:	Springer Singapore 2020
主題:	Engineering Aerospace Technology and Astronautics Calculus of Variations and Optimal Control Optimization
オンライン･アクセス:	http://doi.org/10.1007/978-981-10-4121-1 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/102645
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

類似資料

Design of Trajectory Optimization Approach for Space Maneuver Vehicle Skip Entry Problems
著者:: Chai, Runqi, 等
出版事項: (2020)

Control Engineering and Finance. 1st ed. 2018
著者:: Hacısalihzade, Selim S.
出版事項: (2020)

Fuzzy Dual Numbers. 1st ed. 2018
著者:: Mora-Camino, Felix, 等
出版事項: (2020)

Numerical Optimization. 2nd ed.
著者:: Nocedal, Jorge, 等
出版事項: (2020)

Soft Computing Based Optimization and Decision Models. 1st ed. 2018
著者:: Pelta, David A., 等
出版事項: (2020)

Numerical Engineering Optimization. 1st ed.
著者:: Öchsner, Andreas, 等
出版事項: (2020)

Discrete-Time Optimal Control and Games on Large Intervals. 1st ed. 2017
著者:: Zaslavski, Alexander J.
出版事項: (2020)

Convex Analysis and Monotone Operator Theory in Hilbert Spaces. 2nd ed. 2017
著者:: Bauschke, Heinz H., 等
出版事項: (2020)

Vector Variational Inequalities and Vector Optimization. 1st ed. 2018
著者:: Ansari, Qamrul Hasan, 等
出版事項: (2020)

Vector-Valued Partial Differential Equations and Applications. 1st ed. 2017
著者:: Dacorogna, Bernard, 等
出版事項: (2020)

Flows of Non-Smooth Vector Fields and Degenerate Elliptic Equations. 1st ed. 2017
著者:: Colombo, Maria
出版事項: (2020)

Fractional Elliptic Problems with Critical Growth in the Whole of $\R^n$. 1st ed. 2017
著者:: Dipierro, Serena, 等
出版事項: (2020)

Dynamical and Geometric Aspects of Hamilton-Jacobi and Linearized Monge-Ampère Equations. 1st ed. 2017
著者:: Le, Nam Q., 等
出版事項: (2020)

An Introduction to the Topological Derivative Method
著者:: Novotny, Antonio André, 等
出版事項: (2020)

Advances in Energy System Optimization. 1st ed. 2017
著者:: Bertsch, Valentin, 等
出版事項: (2020)

Stochastic Optimal Control in Infinite Dimension. 1st ed. 2017
著者:: Fabbri, Giorgio, 等
出版事項: (2020)

Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications (Vol. III). 1st ed. 2017
著者:: Park, Seon Ki, 等
出版事項: (2020)

Reinforcement Learning for Optimal Feedback Control
著者:: Kamalapurkar, Rushikesh, 等
出版事項: (2020)

Optimization for Robot Modelling with MATLAB
著者:: Ghafil, Hazim Nasir, 等
出版事項: (2020)

Optimization of Type-2 Fuzzy Controllers Using the Bee Colony Algorithm
著者:: Amador, Leticia, 等
出版事項: (2020)

Soft Computing for Sustainability Science. 1st ed. 2018
著者:: Corona, Carlos Cruz
出版事項: (2020)

Satellite Formation Flying
著者:: Wang, Danwei, 等
出版事項: (2020)

Optimal Trajectory Tracking of Nonlinear Dynamical Systems. 1st ed. 2017
著者:: Löber, Jakob
出版事項: (2020)

Convex Optimization with Computational Errors
著者:: Zaslavski, Alexander J.
出版事項: (2020)

Sensing and Control for Autonomous Vehicles
著者:: Fossen, Thor I., 等
出版事項: (2020)

Model-Free Stabilization by Extremum Seeking
著者:: Scheinker, Alexander, 等
出版事項: (2020)

Optimal Control of a Double Integrator
著者:: Locatelli, Arturo
出版事項: (2020)

Representation and Control of Infinite Dimensional Systems
著者:: Bensoussan, Alain, 等
出版事項: (2020)

Aerial Manipulation. 1st ed. 2018
著者:: Orsag, Matko, 等
出版事項: (2020)

Optimal Observation for Cyber-physical Systems
著者:: Song, Zhen, 等
出版事項: (2020)

Control Systems and Mathematical Methods in Economics
著者:: Feichtinger, Gustav, 等
出版事項: (2020)

Process Control Performance Assessment
著者:: Ordys, Andrzej, 等
出版事項: (2020)

Advanced Control of Industrial Processes
著者:: Tatjewski, Piotr
出版事項: (2020)

The Dual of L∞(X,L,λ), Finitely Additive Measures and Weak Convergence
著者:: Toland, John
出版事項: (2020)

Instability in Models Connected with Fluid Flows I
著者:: Bardos, Claude, 等
出版事項: (2020)

Instability in Models Connected with Fluid Flows II
著者:: Bardos, Claude, 等
出版事項: (2020)

Nonlinear Solid Mechanics
著者:: Ibrahimbegovic, Adnan
出版事項: (2020)

Detonation Control for Propulsion. 1st ed. 2018
著者:: Li, Jiun-Ming, 等
出版事項: (2020)

Foundations of Circulation Control Based Small-Scale Unmanned Aircraft. 1st ed. 2018
著者:: Kanistras, Konstantinos, 等
出版事項: (2020)

The Test and Launch Control Technology for Launch Vehicles
著者:: Song, Zhengyu
出版事項: (2020)