Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

Ditemukan 5 dokumen yang sesuai dengan query
cover
Labinaz, G.
Abstrak :
The problem of viability of hybrid systems is considered in this work. A model for a hybrid system is developed including a means of including three forms of uncertainty : transition dynamics, structural uncertainty, and parametric uncertainty. A computational basis for viability of hybrid systems is developed and applied to three control law classes. An approach is developed for robust viability based on two extensions of the controllability operator. The three-tank example is examined for both the viability problem and robust viability problem. The theory is applied through simulation to an active magnetic bearing system and to a batch polymerization process showing that viability can be satisfied in practice. The problem of viable attainability is examined based on the controllability operator approach introduced by Nerode and colleagues. Lastly, properties of the controllability operator are presented.
Dordrecht, Netherlands: [, Springer], 2012
e20399039
eBooks  Universitas Indonesia Library
cover
Bujorianu, Luminita Manuela
Abstrak :
Stochastic reachability analysis of hybrid systems is a self-contained and accessible introduction to this novel topic in the analysis and development of stochastic hybrid systems. Beginning with the relevant aspects of Markov models and introducing stochastic hybrid systems, the book then moves on to coverage of reachability analysis for stochastic hybrid systems. Following this build up, the core of the text first formally defines the concept of reachability in the stochastic framework and then treats issues representing the different faces of SRA, stochastic reachability based on Markov process theory, martingale methods, stochastic reachability as an optimal stopping problem, and dynamic programming. The book is rounded off by an appendix providing mathematical underpinning on subjects such as ordinary differential equations, probabilistic measure theory and stochastic modeling, which will help the non-expert-mathematician to appreciate the text.
London: Springer-Verlag London, 2012
e20418750
eBooks  Universitas Indonesia Library
cover
Reyhan Fadilaputra Nurhadian
Abstrak :
Ada beberapa metode yang dapat digunakan untuk mengevaluasi kinerja ekonomi suatu proyek bangunan berdasarkan umurnya. Metode yang lazim digunakan adalah dengan menggunakan analisis Life Cycle Cost yang digunakan untuk menentukan kekuatan dan kelemahan beberapa alternatif proyek. Net present value (NPV) digunakan untuk menentukan profitabilitas suatu proyek jika diinvestasikan dengan menghitung arus kas (arus masuk dan arus keluar) selama periode waktu tertentu. Untuk proyek bangunan, memperkirakan NPV adalah alternatif analisis yang baik karena mempertimbangkan tingkat diskonto, yang memberikan jumlah biaya yang jelas saat investasi didiskontokan hingga saat ini. Laporan ini menguraikan biaya siklus hidup metode konstruksi tradisional beton dan sistem hibrida. Metode sistem hybrid yang digunakan untuk bangunan tiga lantai adalah kombinasi perakitan pod modular dan produk prefabrikasi. Perbandingannya adalah untuk menganalisis nilai investasi tergantung pada nilai sekarang bersih yang diperoleh dari analisis tersebut. Penelitian ini dilakukan untuk memvalidasi argumen konstruksi off-site apakah memiliki biaya modal tinggi atau mengurangi biaya dengan harapan dapat meningkatkan kesadaran konstruksi off-site. ......There are several methods that can be conducted to evaluate the economic performance of a building project based on their expected life. A simple method is to use the cost benefit analysis which is used to determine the strengths and weaknesses of project options. Net present value (NPV) is used to determine the profitability of a project if it was invested by calculating the cashflows (inflow and outflow) over the period of time. For a building project, estimating the NPV is a good analysis alternative as it considers the discounted rate, which gives a clear number of cost when an investment is discounted to the present. This report outlines the life cycle costing of traditional concrete in-situ method and hybrid systems. The hybrid systems method used for the three-story building are a combination of assembling modular pods and prefabricated products. The comparison is to analyze the investment worth depending on the net present value obtained from the analysis. This research is conducted to validate the arguments of off-site construction whether has high capital cost or reduce costing in hope to raise awareness of the off-site construction.
Depok: Fakultas Teknik Universitas Indonesia, 2022
T-pdf
UI - Tesis Membership  Universitas Indonesia Library
cover
Shu-Jun, Liu
Abstrak :
This book treats methods inspired by attempts to understand the seemingly non-mathematical question of bacterial chemotaxis and their application in other environments. The text presents significant generalizations on existing stochastic averaging theory developed from scratch and necessitated by the need to avoid violation of previous theoretical assumptions by algorithms which are otherwise effective in treating these systems. Coverage is given to four main topics. Stochastic averaging theorems are developed for the analysis of continuous-time nonlinear systems with random forcing, removing prior restrictions on nonlinearity growth and on the finiteness of the time interval. The new stochastic averaging theorems are usable not only as approximation tools but also for providing stability guarantees. Stochastic extremum-seeking algorithms are introduced for optimization of systems without available models. Both gradient- and Newton-based algorithms are presented, offering the user the choice between the simplicity of implementation (gradient) and the ability to achieve a known, arbitrary convergence rate (Newton). The design of algorithms for non-cooperative/adversarial games is described. The analysis of their convergence to Nash equilibria is provided. The algorithms are illustrated on models of economic competition and on problems of the deployment of teams of robotic vehicles. Bacterial locomotion, such as chemotaxis in E. coli, is explored with the aim of identifying two simple feedback laws for climbing nutrient gradients. Stochastic extremum seeking is shown to be a biologically-plausible interpretation for chemotaxis. For the same chemotaxis-inspired stochastic feedback laws, the book also provides a detailed analysis of convergence for models of nonholonomic robotic vehicles operating in GPS-denied environments. The book contains block diagrams and several simulation examples, including examples arising from bacterial locomotion, multi-agent robotic systems, and economic market models. Stochastic averaging and extremum seeking will be informative for control engineers from backgrounds in electrical, mechanical, chemical and aerospace engineering and to applied mathematicians. Economics researchers, biologists, biophysicists and roboticists will find the applications examples instructive.
London: Springer-Verlag, 2012
e20418747
eBooks  Universitas Indonesia Library
cover
Zini, Gabriele
Abstrak :
This book presents the readers with the modeling, functioning and implementation of solar hydrogen energy systems, which efficiently combine different technologies to convert, store and use renewable energy. Sources like solar photovoltaic or wind, technologies like electrolysis, fuel cells, traditional and advanced hydrogen storage are discussed and evaluated together with system management and output performance. Examples are also given to show how these systems are capable of providing energy independence from fossil fuels in real life settings.
Milan: [, Springer], 2012
e20398868
eBooks  Universitas Indonesia Library