Browsing by Subject "Cyber-physical systems"
Now showing items 1-5 of 5
-
Automated Testing of a Commercial Cyber-Physical System Development Tool Chain
(2019-11-14)Rigorous validation of commercial cyber-physical system (CPS) tool chains (e.g., MATLAB/Simulink) through automated testing is of utmost importance since tool-chain generated artifacts are often deployed in safety-critical ... -
CYBER-PHYSICAL SYSTEMS: FROM SPECIFICATION INFERENCE TO DESIGN ANALYSIS
(2018-05-02)Due to the high degree of uncertainty and complexity, design and analysis of cyber-physical systems (CPS) are very challenging tasks. The challenge arises immediately in the early CPS development cycle, which is the stage ... -
Formal Verification of DC Distribution Networks
(2017-08-10)Power electronics-intensive DC distribution networks are emerging as popular alternative to their AC counterparts being more efficient and reliable power delivery platforms. With the recent evolution of control methodology ... -
PSEUDO-SPECTRAL METHODS BASED REAL-TIME OPTIMAL PATH PLANNING FOR UNMANNED GROUND VEHICLES
(2017-12-08)Real-time optimal trajectory design and tracking for autonomous ground vehicles are maturing technologies with the potential to advance mobility by enhancing time and energy efficiency in application such as indoor ... -
SMARTPHONE-BASED CROWD SOURCING OF BICYCLE AND PEDESTRIAN CONFLICT DATA FOR TRANSPORTATION SAFETY ASSESSMENT
(2016-08-15)This thesis presents the idea of mobile application development that aims at data collection for transportation safety assessment using cloud-based database. At present, transportation safety assessment relies only on data ...