Počet nalezených dokumentů: 551
Publikováno od do

Recent Advanced Methods and Results in Distributed Cooperative Control
Hengster Movric, Kristian
2018 - anglický
The presented habilitation treatise takes the form of a collection of selected journal and conference papers published by the applicant in the recent five years. The unifying theme of distributed cooperative control can be seen as a common thread tying the whole collection together. Taken together, these present an author’s contribution towards the current state- of-the-art in cooperative control. They bring interesting novel theoretical results and compelling applications, as well as open potential avenues of future research. In particular, the first chapters describe theoretical results for homogeneous agen ts ’ state synchronization and heterogeneous agent output synchronization . The following two chapters bring some applications to a compelling problem of distributed estimation and control, with specific focus on, but not limited to, distributed vibration reduction. Final chapter considers adaptation to yield completely distributed synchronization protocols. A concise exposition of related recent results in distributed control of homogeneous agents , in Chapter 1, provides a wider framework for two immediate sequels. First of these , Chapter 2, brings technical details on state synchronization of homogeneous agents using static output -feedback. The following Chapter 3, on the other hand, extends the synchronizing region meth ods by considering communication delays . The fourth chapter, in contrast, considers general heterogeneous agents ; providing conditions for output -synchronization and an L 2 -bound in case of disturbances acting on the system . Building further on the revealed necessary and sufficient single -agents ’ conditions required for this, the fifth chapter casts output -synchronization and disturbance suppression in the form of graphical games. On the applied side, Chapter 6 proposes networked observers tha t distributively fuse plant ’s estimates for control of large linear-time-invariant plants. If several measurements of differing reliability are available, one can further attempt sensor fusion, as discussed in Chapter 7. This then ideally improves on even the most precise measurements. The final Chapter 8 investigates adaptive consensus protocols, replacing the only remaining centralized piece of information required in the synchronizing region-based designs with dynamic adaptation. The se results are applicable, in principle, to all synchronizing region based designs, which, in turn, makes them all fully distributed. Klíčová slova: cooperative control; multi-agent systems; distributed feedback; synchronization; synchronizing region; time-delays; output regulation; internal model principle; distributed observers; sensor fusion; adaptive consensus protocols. Plné texty jsou dostupné v digitálním repozitáři ČVUT.
Recent Advanced Methods and Results in Distributed Cooperative Control

The presented habilitation treatise takes the form of a collection of selected journal and conference papers published by the applicant in the recent five years. The unifying theme of ...

Hengster Movric, Kristian
České vysoké učení technické v Praze, 2018

Evaluation of Energy Efficiency Policy Instruments
Valentová, Michaela
2018 - anglický
Plné texty jsou dostupné v digitálním repozitáři ČVUT.
Evaluation of Energy Efficiency Policy Instruments

Valentová, Michaela
České vysoké učení technické v Praze, 2018

Ordered Structures, Plichko Spaces, and Operator Algebras
Bohata, Martin
2018 - anglický
Plné texty jsou dostupné v digitálním repozitáři ČVUT.
Ordered Structures, Plichko Spaces, and Operator Algebras

Bohata, Martin
České vysoké učení technické v Praze, 2018

Model-based Software Test Automation
Bureš, Miroslav
2018 - anglický
This thesis presents my selected work for the period from 2013 to 2017 and is part of my application for the title of Associate Professor at Czech Technical University in Prague. My research has focused on automated software testing, namely, automating the creation of test scenarios and their execution. The motivation for selecting this area arises from the situation in the software industry. The increasing complexity of contemporary software information systems, together with the demand to shorten the time-to-market and to decrease the development prices of information systems create numerous challenges for the quality assurance of the software development process. The latest trends in this field imply demand for more effective and reliable software testing methods, employing automation and model-based approaches. In the thesis, I present three research tracks, namely path-based test case generation strategies, combinatorial and constrained interaction testing and test automation frameworks for sub-optimally structured software development projects. In these tracks, I identify six research challenges; then, I introduce the projects I am leading or have participated in that address these challenges. This work is documented by six papers and articles, that are included in the appendix of this thesis. Plné texty jsou dostupné v digitálním repozitáři ČVUT.
Model-based Software Test Automation

This thesis presents my selected work for the period from 2013 to 2017 and is part of my application for the title of Associate Professor at Czech Technical University in Prague. My research has ...

Bureš, Miroslav
České vysoké učení technické v Praze, 2018

Liberalization of Electricity Supply Industry
Tashpulatov, Sherzod
2018 - anglický
The habilitation thesis consists of papers analyzing the impact of regulatory reforms on market outcomes and bidding behavior of electricity producers. Each paper uses a different methodology to answer various research questions. In the first paper I analyze the impact of price-cap regulation and divestment series on the electricity price during the peak-demand period over trading days. In order to reflect the impact of divestment series, the market share of each incumbent producer is included in the analysis. The next paper analyzes changes in the incentive and disincentive to exercise market power by submitting price bids in excess of marginal production costs during the peak-demand period. I again focus on the peak-demand period over trading days because producers typically exercise market power namely during the periods when demand is at the peak. The third paper investigates another means of raising electricity prices when electricity producers may withhold cheaper production capacity during the peak-demand period compared to a low-demand period on the same trading day. In such a situation the market operator may need to use more expensive production facilities to satisfy demand for electricity. In the last paper I analyze changes in the price level and volatility over different regulatory regime periods. Such an analysis could be important for detecting tacit collusion when, for example, we observe a higher price level associated at the same time with lower volatility. Klíčová slova: liberalization; regulation; electricity markets; market power; uniform price auction; price bids; capacity bids; electricity price; skew generalized error distribution; conditional volatility Plné texty jsou dostupné v digitálním repozitáři ČVUT.
Liberalization of Electricity Supply Industry

The habilitation thesis consists of papers analyzing the impact of regulatory reforms on market outcomes and bidding behavior of electricity producers. Each paper uses a different methodology to ...

Tashpulatov, Sherzod
České vysoké učení technické v Praze, 2018

LONG–TERM AUTONOMY OF MOBILE ROBOTS IN CHANGING ENVIRONMENTS
Krajník, Tomáš
2018 - anglický
This habilitation thesis presents research that aims to enable long-term deployment of mobile robots in changing environments. The presented approaches encompass methods that ensure robustness of autonomous visual navigation in outdoor environments for prolonged time periods, spatio-temporal representations that explicitly model the environment changes over time, and supporting software modules that enable robust and accurate robot localisation. The main contribution of the thesis is a novel approach that allows to incorporate the notion of time into most stationary environment models used in mobile robotics. This is achieved by representing the uncertainty of the environment states not by fixed probabilities, but by probabilistic functions of time, represented in the frequency domain. The method allows to integrate unlimited numbers of sparse and irregular observations obtained during long-term deployments of mobile robots into memory-efficient models that reflect the persistence and recurrence of environment variations. The frequency-enhanced spatio-temporal models allow to predict the future environment states, which improves the efficiency of mobile robot operation in changing environments. In this thesis, we present a series of articles, which demonstrate that the proposed approach improves mobile robot localization, path and task planning, activity recognition, human-robot interaction and allows for life-long spatio-temporal exploration of perpetually-changing environments. Plné texty jsou dostupné v digitálním repozitáři ČVUT.
LONG–TERM AUTONOMY OF MOBILE ROBOTS IN CHANGING ENVIRONMENTS

This habilitation thesis presents research that aims to enable long-term deployment of mobile robots in changing environments. The presented approaches encompass methods that ensure robustness of ...

Krajník, Tomáš
České vysoké učení technické v Praze, 2018

Detecting speech disorders in early Parkinson’s disease by acoustic analysis
Rusz, Jan
2018 - anglický
This interdisciplinary habilitation thesis is focused on the design of the feasible algorithms and analytical methods based on digital signal processing and advanced statistical analysis that are sensitive to capture pathological speech changes from very early stages of Parkinson’s disease. Using objective acoustic analysis, we revealed distinctive speech impairment in patients with prodromal Parkinson’s disease, newly diagnosed Parkinson’s disease and atypical parkinsonian syndromes. Our findings suggest that automated vocal analysis may contribute to screening and diagnostic procedures to identify subjects at high risk of developing Parkinson’s disease and related neurodegenerative disorders. Klíčová slova: Speech and voice disorders; Acoustic analyses; Digital signal processing; Machine learning; Dysarthria; Parkinson's disease; Atypical parkinsonian syndromes; Progressive supranuclear palsy; Multiple system atrophy; REM sleep behavior disorder Plné texty jsou dostupné v digitálním repozitáři ČVUT.
Detecting speech disorders in early Parkinson’s disease by acoustic analysis

This interdisciplinary habilitation thesis is focused on the design of the feasible algorithms and analytical methods based on digital signal processing and advanced statistical analysis that ...

Rusz, Jan
České vysoké učení technické v Praze, 2018

Challenges and Open Questions of Machine Learning in Computer Security
Pevný, Tomáš
2018 - anglický
This habilitation thesis presents advancements in machine learning for computer security, arising from problems in network intrusion detection and steganography. The thesis put an emphasis on explanation of traits shared by steganalysis, network intrusion detection, and other security domains, which makes these domains different from computer vision, speech recognition, and other fields where machine learning is typically studied. Then, the thesis presents methods developed to at least partially solve the identified problems with an overall goal to make machine learning based intrusion detection system viable. Most of them are general in the sense that they can be used outside intrusion detection and steganalysis on problems with similar constraints. A common feature of all methods is that they are generally simple, yet surprisingly effective. According to large-scale experiments they almost always improve the prior art, which is likely caused by being tailored to security problems and designed for large volumes of data. Specifically, the thesis addresses following problems: anomaly detection with low computational and memory complexity such that efficient processing of large data is possible; multiple-instance anomaly detection improving signal-to-noise ration by classifying larger group of samples; supervised classification of tree-structured data simplifying their encoding in neural networks; clustering of structured data; supervised training with the emphasis on the precision in top p% of returned data; and finally explanation of anomalies to help humans understand the nature of anomaly and speed-up their decision. Many algorithms and method presented in this thesis are deployed in the real intrusion detection system protecting millions of computers around the globe. Plné texty jsou dostupné v digitálním repozitáři ČVUT.
Challenges and Open Questions of Machine Learning in Computer Security

This habilitation thesis presents advancements in machine learning for computer security, arising from problems in network intrusion detection and steganography. The thesis put an emphasis on ...

Pevný, Tomáš
České vysoké učení technické v Praze, 2018

TEXTILE-BASED STRUCTURES IN ELECTRONIC AND COMMUNICATION ENGINEERING
Vojtěch, Lukáš
2017 - anglický
This thesis deals with the search for and formulation of a theoretical approach to modelling the electrical conductivity of woven textiles and the experimental validation of the approach by measurements performed on woven textile samples. Drawing on these results, the thesis goes on to determine the electromagnetic shielding efficiency of nonhomogeneous 3D structures using modified approaches and succeeds in finding a new analytical description of the electromagnetic shielding efficiency of electrically conductive woven textiles. The proposed description applies to selected types of conductive woven textiles. The author’s basic observation is that woven textiles are structurally similar to metallic grids. The proposed modelling method was analytically validated for the different conductivity values of the yarns used; experimental validation was performed as well. This led to the identification of a set of usable conductivity values for yarns, for which these approaches are valid within a given error. In view of the new approaches to modelling the electrical conductivity and electromagnetic shielding efficiency of conductive textiles presented in this thesis, it is believed that these findings will significantly contribute to the body of interdisciplinary research and applications at the boundary between electrical engineering and materials science. The thesis describes the experiments performed and the development of applications of the proposed materials that span various branches of electronics and communications technologies and demonstrate application potential. The example and experiments presented here will certainly help the reader appreciate the scope and application potential of these materials, especially in the context of interdisciplinary cooperation. The thesis is also meant to serve as learning material for students and to be used for teaching purposes and scientific education in general.Tato habilitační práce se věnuje nejprve nalezení a odvození teoretického postupu modelování elektrické vodivosti tkaných textilií. Tento návrh je následně experimentálně ověřen, pomocí měření na vyrobených vzorcích. S využitím těchto výsledků práce pokračuje využitím modifikovaných postupů odvození elektromagnetické stínící účinnosti nehomogenních 3D struktur, kdy se podařilo dospět k novému způsobu analytického popisu elektromagnetické stínící účinnosti elektricky vodivých tkaných textilií. Navržený popis platí pro vybrané typy elektricky vodivých textilií, realizovaných technologií tkaní. Základním využitým pozorováním, je podobnost struktur tkaných textilií a mřížkových struktur na bázi kovových prvků. Navržený postup modelování je analyticky ověřen pro různé hodnoty elektrické vodivosti použitých přízí, zároveň je provedeno i ověření v experimentu. Výsledkem je nalezení oboru hodnot použitelných elektrických vodivostí přízí, pro které tyto postupy platí s danou chybou. Z pohledu v této práci publikovaných nových postupů modelování elektrické vodivosti i elektromagnetické stínící účinnosti elektricky vodivých tkaných textilií, se jedná o soubor nových poznatků, které významně přispívají k rozvoji mezioborových znalostí a aplikací na rozhraní elektrotechniky a materiálového inženýrství. V práci jsou uvedeny také realizované experimenty i výsledky výzkumu a vývoje aplikací navrhovaných typů materiálů, které pokrývají různé oblasti elektroniky a komunikační techniky, s potenciálem jejich užití v praxi. Publikované příklady a experimenty jistě pomohou čtenáři lépe pochopit rozsah a potenciál aplikací těchto materiálů, zejména v kontextu mezioborové spolupráce. Práce si zároveň klade za cíl působit i jako didaktická podpora a umožnit další využití textu pro výukové a vědecké účely. Klíčová slova: Electrically conductive textile; Electrical conductivity; Electromagnetic shielding efficiency; Communication engineering; Interdisciplinary research and application; Elektricky vodivé textilní materiály; Elektrická vodivost; Elektromagnetická stínící účinnost; Komunikační technika; Mezioborový výzkum a aplikace Plné texty jsou dostupné v digitálním repozitáři ČVUT.
TEXTILE-BASED STRUCTURES IN ELECTRONIC AND COMMUNICATION ENGINEERING

This thesis deals with the search for and formulation of a theoretical approach to modelling the electrical conductivity of woven textiles and the experimental validation of the approach by ...

Vojtěch, Lukáš
České vysoké učení technické v Praze, 2017

Energy and Economic Efficiency
Bemš, Július
2017 - anglický
Plné texty jsou dostupné v digitálním repozitáři ČVUT.
Energy and Economic Efficiency

Bemš, Július
České vysoké učení technické v Praze, 2017

O službě

NUŠL poskytuje centrální přístup k informacím o šedé literatuře vznikající v ČR v oblastech vědy, výzkumu a vzdělávání. Více informací o šedé literatuře a NUŠL najdete na webu služby.

Vaše náměty a připomínky posílejte na email nusl@techlib.cz

Provozovatel

http://www.techlib.cz

Facebook

Zahraniční báze