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

QR Kod

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

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Nanda, Manju, Jeppu, Yogananda
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer Singapore 2020
Konular:	Engineering Aerospace Technology and Astronautics Calculus of Variations and Optimal Control Optimization
Online Erişim:	http://doi.org/10.1007/978-981-10-4121-1 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/102645
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Design of Trajectory Optimization Approach for Space Maneuver Vehicle Skip Entry Problems
Yazar:: Chai, Runqi, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Control Engineering and Finance. 1st ed. 2018
Yazar:: Hacısalihzade, Selim S.
Baskı/Yayın Bilgisi: (2020)

Fuzzy Dual Numbers. 1st ed. 2018
Yazar:: Mora-Camino, Felix, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Numerical Optimization. 2nd ed.
Yazar:: Nocedal, Jorge, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Soft Computing Based Optimization and Decision Models. 1st ed. 2018
Yazar:: Pelta, David A., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Numerical Engineering Optimization. 1st ed.
Yazar:: Öchsner, Andreas, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Discrete-Time Optimal Control and Games on Large Intervals. 1st ed. 2017
Yazar:: Zaslavski, Alexander J.
Baskı/Yayın Bilgisi: (2020)

Convex Analysis and Monotone Operator Theory in Hilbert Spaces. 2nd ed. 2017
Yazar:: Bauschke, Heinz H., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Vector Variational Inequalities and Vector Optimization. 1st ed. 2018
Yazar:: Ansari, Qamrul Hasan, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Vector-Valued Partial Differential Equations and Applications. 1st ed. 2017
Yazar:: Dacorogna, Bernard, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Flows of Non-Smooth Vector Fields and Degenerate Elliptic Equations. 1st ed. 2017
Yazar:: Colombo, Maria
Baskı/Yayın Bilgisi: (2020)

Fractional Elliptic Problems with Critical Growth in the Whole of $\R^n$. 1st ed. 2017
Yazar:: Dipierro, Serena, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Dynamical and Geometric Aspects of Hamilton-Jacobi and Linearized Monge-Ampère Equations. 1st ed. 2017
Yazar:: Le, Nam Q., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

An Introduction to the Topological Derivative Method
Yazar:: Novotny, Antonio André, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Advances in Energy System Optimization. 1st ed. 2017
Yazar:: Bertsch, Valentin, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Stochastic Optimal Control in Infinite Dimension. 1st ed. 2017
Yazar:: Fabbri, Giorgio, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications (Vol. III). 1st ed. 2017
Yazar:: Park, Seon Ki, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Reinforcement Learning for Optimal Feedback Control
Yazar:: Kamalapurkar, Rushikesh, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Optimization for Robot Modelling with MATLAB
Yazar:: Ghafil, Hazim Nasir, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Optimization of Type-2 Fuzzy Controllers Using the Bee Colony Algorithm
Yazar:: Amador, Leticia, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Soft Computing for Sustainability Science. 1st ed. 2018
Yazar:: Corona, Carlos Cruz
Baskı/Yayın Bilgisi: (2020)

Satellite Formation Flying
Yazar:: Wang, Danwei, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Optimal Trajectory Tracking of Nonlinear Dynamical Systems. 1st ed. 2017
Yazar:: Löber, Jakob
Baskı/Yayın Bilgisi: (2020)

Convex Optimization with Computational Errors
Yazar:: Zaslavski, Alexander J.
Baskı/Yayın Bilgisi: (2020)

Sensing and Control for Autonomous Vehicles
Yazar:: Fossen, Thor I., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Model-Free Stabilization by Extremum Seeking
Yazar:: Scheinker, Alexander, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Optimal Control of a Double Integrator
Yazar:: Locatelli, Arturo
Baskı/Yayın Bilgisi: (2020)

Representation and Control of Infinite Dimensional Systems
Yazar:: Bensoussan, Alain, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Aerial Manipulation. 1st ed. 2018
Yazar:: Orsag, Matko, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Optimal Observation for Cyber-physical Systems
Yazar:: Song, Zhen, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Control Systems and Mathematical Methods in Economics
Yazar:: Feichtinger, Gustav, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Process Control Performance Assessment
Yazar:: Ordys, Andrzej, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Advanced Control of Industrial Processes
Yazar:: Tatjewski, Piotr
Baskı/Yayın Bilgisi: (2020)

The Dual of L∞(X,L,λ), Finitely Additive Measures and Weak Convergence
Yazar:: Toland, John
Baskı/Yayın Bilgisi: (2020)

Instability in Models Connected with Fluid Flows I
Yazar:: Bardos, Claude, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Instability in Models Connected with Fluid Flows II
Yazar:: Bardos, Claude, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Nonlinear Solid Mechanics
Yazar:: Ibrahimbegovic, Adnan
Baskı/Yayın Bilgisi: (2020)

Detonation Control for Propulsion. 1st ed. 2018
Yazar:: Li, Jiun-Ming, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Foundations of Circulation Control Based Small-Scale Unmanned Aircraft. 1st ed. 2018
Yazar:: Kanistras, Konstantinos, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

The Test and Launch Control Technology for Launch Vehicles
Yazar:: Song, Zhengyu
Baskı/Yayın Bilgisi: (2020)