Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"modeling formalism"”.
-
Optimal Implementation of Simulink Models on Multicore Architectures with Partitioned Fixed Priority Scheduling
Model-based design based on the Simulink modeling formalism and the associated toolchain has gained its popularity in the development of complex embedded control systems. However,the current research on software synthesis for Simulink models has a critical gap for providing a deterministic, …
-
Large-signal tools for power electronics: State space analysis and averaging theory
… and design. Based on switching algebra, a formalism for large-signal component modeling is developed. The governing equation is formulated for a general class of mixed-mode circuit models containing ideal switches. The geometric interpretation of the governing equation in the state space is …
-
Model-based monitoring and diagnosis of systems with software-extended behavior
… delayed symptoms, based on the expressive PHCA modeling formalism. Hardware models are extended to include the behavior of associated embedded software, resulting in more comprehensive diagnoses. This work introduces a novel approach that frames diagnosis over a finite time horizon as a soft …
-
A job server for parallel and concurrent execution of Möbius simulators
Möbius is an extensible modeling environment used to validate the reliability, availability, security, and performance of computer systems. It provides graphical editors through which users can construct system models or compositions of several models, and it provides interfaces for finding the …
-
Wavelet adaptive and predictive control with applications to chemical looping system
… stability theorem. Then, the wavelet MRA modeling formalism is combined with design of robust nonlinear non-ad-hoc constrained MPC with guaranteed stability under mild assumptions. The benefits of all the proposed control techniques, such as fast approximation rate and stable tracking of …
-
Modeling human decision points in complex systems
Item withdrawn by Mark Zulauf (zulauf@illinois.edu) on 2012-11-29T18:35:58Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 1 Eskins_Douglas.pdf: 2816103 bytes, checksum: 759d0544a6e3a3a97699d7f96cc2f028 (MD5)