Matching Items (7)
Description
A principal goal of this dissertation is to study stochastic optimization and real-time scheduling in cyber-physical systems (CPSs) ranging from real-time wireless systems to energy systems to distributed control systems. Under this common theme, this dissertation can be broadly organized into three parts based on the system environments. The first part investigates stochastic optimization in real-time wireless systems, with the focus on the deadline-aware scheduling for real-time traffic. The optimal solution to such scheduling problems requires to explicitly taking into account the coupling in the deadline-aware transmissions and stochastic characteristics of the traffic, which involves a dynamic program that is traditionally known to be intractable or computationally expensive to implement. First, real-time scheduling with adaptive network coding over memoryless channels is studied, and a polynomial-time complexity algorithm is developed to characterize the optimal real-time scheduling. Then, real-time scheduling over Markovian channels is investigated, where channel conditions are time-varying and online channel learning is necessary, and the optimal scheduling policies in different traffic regimes are studied. The second part focuses on the stochastic optimization and real-time scheduling involved in energy systems. First, risk-aware scheduling and dispatch for plug-in electric vehicles (EVs) are studied, aiming to jointly optimize the EV charging cost and the risk of the load mismatch between the forecasted and the actual EV loads, due to the random driving activities of EVs. Then, the integration of wind generation at high penetration levels into bulk power grids is considered. Joint optimization of economic dispatch and interruptible load management is investigated using short-term wind farm generation forecast. The third part studies stochastic optimization in distributed control systems under different network environments. First, distributed spectrum access in cognitive radio networks is investigated by using pricing approach, where primary users (PUs) sell the temporarily unused spectrum and secondary users compete via random access for such spectrum opportunities. The optimal pricing strategy for PUs and the corresponding distributed implementation of spectrum access control are developed to maximize the PU's revenue. Then, a systematic study of the nonconvex utility-based power control problem is presented under the physical interference model in ad-hoc networks. Distributed power control schemes are devised to maximize the system utility, by leveraging the extended duality theory and simulated annealing.
ContributorsYang, Lei (Author) / Zhang, Junshan (Thesis advisor) / Tepedelenlioğlu, Cihan (Committee member) / Xue, Guoliang (Committee member) / Ying, Lei (Committee member) / Arizona State University (Publisher)
Created2012
Description
Increasing interest in individualized treatment strategies for prevention and treatment of health disorders has created a new application domain for dynamic modeling and control. Standard population-level clinical trials, while useful, are not the most suitable vehicle for understanding the dynamics of dosage changes to patient response. A secondary analysis of intensive longitudinal data from a naltrexone intervention for fibromyalgia examined in this dissertation shows the promise of system identification and control. This includes datacentric identification methods such as Model-on-Demand, which are attractive techniques for estimating nonlinear dynamical systems from noisy data. These methods rely on generating a local function approximation using a database of regressors at the current operating point, with this process repeated at every new operating condition. This dissertation examines generating input signals for data-centric system identification by developing a novel framework of geometric distribution of regressors and time-indexed output points, in the finite dimensional space, to generate sufficient support for the estimator. The input signals are generated while imposing “patient-friendly” constraints on the design as a means to operationalize single-subject clinical trials. These optimization-based problem formulations are examined for linear time-invariant systems and block-structured Hammerstein systems, and the results are contrasted with alternative designs based on Weyl's criterion. Numerical solution to the resulting nonconvex optimization problems is proposed through semidefinite programming approaches for polynomial optimization and nonlinear programming methods. It is shown that useful bounds on the objective function can be calculated through relaxation procedures, and that the data-centric formulations are amenable to sparse polynomial optimization. In addition, input design formulations are formulated for achieving a desired output and specified input spectrum. Numerical examples illustrate the benefits of the input signal design formulations including an example of a hypothetical clinical trial using the drug gabapentin. In the final part of the dissertation, the mixed logical dynamical framework for hybrid model predictive control is extended to incorporate a switching time strategy, where decisions are made at some integer multiple of the sample time, and manipulation of only one input at a given sample time among multiple inputs. These are considerations important for clinical use of the algorithm.
ContributorsDeśapāṇḍe, Sunīla (Author) / Rivera, Daniel E. (Thesis advisor) / Peet, Matthew M. (Committee member) / Si, Jennie (Committee member) / Tsakalis, Konstantinos S. (Committee member) / Arizona State University (Publisher)
Created2014
Description
Control engineering offers a systematic and efficient approach to optimizing the effectiveness of individually tailored treatment and prevention policies, also known as adaptive or ``just-in-time'' behavioral interventions. These types of interventions represent promising strategies for addressing many significant public health concerns. This dissertation explores the development of decision algorithms for adaptive sequential behavioral interventions using dynamical systems modeling, control engineering principles and formal optimization methods. A novel gestational weight gain (GWG) intervention involving multiple intervention components and featuring a pre-defined, clinically relevant set of sequence rules serves as an excellent example of a sequential behavioral intervention; it is examined in detail in this research.
A comprehensive dynamical systems model for the GWG behavioral interventions is developed, which demonstrates how to integrate a mechanistic energy balance model with dynamical formulations of behavioral models, such as the Theory of Planned Behavior and self-regulation. Self-regulation is further improved with different advanced controller formulations. These model-based controller approaches enable the user to have significant flexibility in describing a participant's self-regulatory behavior through the tuning of controller adjustable parameters. The dynamic simulation model demonstrates proof of concept for how self-regulation and adaptive interventions influence GWG, how intra-individual and inter-individual variability play a critical role in determining intervention outcomes, and the evaluation of decision rules.
Furthermore, a novel intervention decision paradigm using Hybrid Model Predictive Control framework is developed to generate sequential decision policies in the closed-loop. Clinical considerations are systematically taken into account through a user-specified dosage sequence table corresponding to the sequence rules, constraints enforcing the adjustment of one input at a time, and a switching time strategy accounting for the difference in frequency between intervention decision points and sampling intervals. Simulation studies illustrate the potential usefulness of the intervention framework.
The final part of the dissertation presents a model scheduling strategy relying on gain-scheduling to address nonlinearities in the model, and a cascade filter design for dual-rate control system is introduced to address scenarios with variable sampling rates. These extensions are important for addressing real-life scenarios in the GWG intervention.
A comprehensive dynamical systems model for the GWG behavioral interventions is developed, which demonstrates how to integrate a mechanistic energy balance model with dynamical formulations of behavioral models, such as the Theory of Planned Behavior and self-regulation. Self-regulation is further improved with different advanced controller formulations. These model-based controller approaches enable the user to have significant flexibility in describing a participant's self-regulatory behavior through the tuning of controller adjustable parameters. The dynamic simulation model demonstrates proof of concept for how self-regulation and adaptive interventions influence GWG, how intra-individual and inter-individual variability play a critical role in determining intervention outcomes, and the evaluation of decision rules.
Furthermore, a novel intervention decision paradigm using Hybrid Model Predictive Control framework is developed to generate sequential decision policies in the closed-loop. Clinical considerations are systematically taken into account through a user-specified dosage sequence table corresponding to the sequence rules, constraints enforcing the adjustment of one input at a time, and a switching time strategy accounting for the difference in frequency between intervention decision points and sampling intervals. Simulation studies illustrate the potential usefulness of the intervention framework.
The final part of the dissertation presents a model scheduling strategy relying on gain-scheduling to address nonlinearities in the model, and a cascade filter design for dual-rate control system is introduced to address scenarios with variable sampling rates. These extensions are important for addressing real-life scenarios in the GWG intervention.
ContributorsDong, Yuwen (Author) / Rivera, Daniel E (Thesis advisor) / Dai, Lenore (Committee member) / Forzani, Erica (Committee member) / Rege, Kaushal (Committee member) / Si, Jennie (Committee member) / Arizona State University (Publisher)
Created2014
Description
This thesis addresses control design for fixed-wing air-breathing aircraft. Four aircraft with distinct dynamical properties are considered: a scram-jet powered hypersonic (100foot long, X-43 like, wedge shaped) aircraft with flexible modes operating near Mach 8, 85k ft, a NASA HiMAT (Highly Maneuverable Aircraft Technology) F-18 aircraft,
a McDonnell Douglas AV-8A Harrier aircraft, and a Vought F-8 Crusader aircraft. A two-input two-output (TITO) longitudinal LTI (linear time invariant) dynamical model is used for each aircraft. Control design trade studies are conducted for each of the aircraft. Emphasis is placed on the hypersonic vehicle because of its complex nonlinear (unstable, non-minimum phase, flexible) dynamics and uncertainty associated with hypersonic flight (Mach $>$ 5, shocks and high temperatures on leading edges). Two plume models are used for the hypersonic vehicle – an old plume model and a new plume model. The old plume model is simple and assumes a typical decaying pressure distribution for aft nozzle. The new plume model uses Newtonian impact theory and a nonlinear solver to compute the aft nozzle pressure distribution. Multivariable controllers were generated using standard weighted $H_{\inf}$ mixed-sensitivity optimization as well as a new input disturbance weighted mixed-sensitivity framework that attempts to achieve good multivariable properties at both the controls (plant inputs) as well as the errors (plant outputs). Classical inner-outer (PD-PI) structures (partially centralized and decentralized) were also used. It is shown that while these classical (sometimes partially centralized PD-PI) structures could be used to generate comparable results to the multivariable controllers (e.g. for the hypersonic vehicle, Harrier, F-8), considerable tuning (iterative optimization) is often essential. This is especially true for the highly coupled hypersonic vehicle – thus justifying the need for a good multivariable control design tool. Fundamental control design tradeoffs for each aircraft are presented – comprehensively for the hypersonic aircraft. In short, the thesis attempts to shed light on when complex controllers are essential and when simple structures are sufficient for achieving control designs with good multivariable loop properties at both the errors (plant outputs) and the controls (plant inputs).
a McDonnell Douglas AV-8A Harrier aircraft, and a Vought F-8 Crusader aircraft. A two-input two-output (TITO) longitudinal LTI (linear time invariant) dynamical model is used for each aircraft. Control design trade studies are conducted for each of the aircraft. Emphasis is placed on the hypersonic vehicle because of its complex nonlinear (unstable, non-minimum phase, flexible) dynamics and uncertainty associated with hypersonic flight (Mach $>$ 5, shocks and high temperatures on leading edges). Two plume models are used for the hypersonic vehicle – an old plume model and a new plume model. The old plume model is simple and assumes a typical decaying pressure distribution for aft nozzle. The new plume model uses Newtonian impact theory and a nonlinear solver to compute the aft nozzle pressure distribution. Multivariable controllers were generated using standard weighted $H_{\inf}$ mixed-sensitivity optimization as well as a new input disturbance weighted mixed-sensitivity framework that attempts to achieve good multivariable properties at both the controls (plant inputs) as well as the errors (plant outputs). Classical inner-outer (PD-PI) structures (partially centralized and decentralized) were also used. It is shown that while these classical (sometimes partially centralized PD-PI) structures could be used to generate comparable results to the multivariable controllers (e.g. for the hypersonic vehicle, Harrier, F-8), considerable tuning (iterative optimization) is often essential. This is especially true for the highly coupled hypersonic vehicle – thus justifying the need for a good multivariable control design tool. Fundamental control design tradeoffs for each aircraft are presented – comprehensively for the hypersonic aircraft. In short, the thesis attempts to shed light on when complex controllers are essential and when simple structures are sufficient for achieving control designs with good multivariable loop properties at both the errors (plant outputs) and the controls (plant inputs).
ContributorsMondal, Kaustav (Author) / Rodriguez, Armando Antonio (Thesis advisor) / Tsakalis, Kostas (Committee member) / Si, Jennie (Committee member) / Arizona State University (Publisher)
Created2015
Description
Behavioral health problems such as physical inactivity are among the main causes of mortality around the world. Mobile and wireless health (mHealth) interventions offer the opportunity for applying control engineering concepts in behavioral change settings. Social Cognitive Theory (SCT) is among the most influential theories of health behavior and has been used as the conceptual basis of many behavioral interventions. This dissertation examines adaptive behavioral interventions for physical inactivity problems based on SCT using system identification and control engineering principles. First, a dynamical model of SCT using fluid analogies is developed. The model is used throughout the dissertation to evaluate system identification approaches and to develop control strategies based on Hybrid Model Predictive Control (HMPC). An initial system identification informative experiment is designed to obtain basic insights about the system. Based on the informative experimental results, a second optimized experiment is developed as the solution of a formal constrained optimization problem. The concept of Identification Test Monitoring (ITM) is developed for determining experimental duration and adjustments to the input signals in real time. ITM relies on deterministic signals, such as multisines, and uncertainty regions resulting from frequency domain transfer function estimation that is performed during experimental execution. ITM is motivated by practical considerations in behavioral interventions; however, a generalized approach is presented for broad-based multivariable application settings such as process control. Stopping criteria for the experimental test utilizing ITM are developed using both open-loop and robust control considerations.
A closed-loop intensively adaptive intervention for physical activity is proposed relying on a controller formulation based on HMPC. The discrete and logical features of HMPC naturally address the categorical nature of the intervention components that include behavioral goals and reward points. The intervention incorporates online controller reconfiguration to manage the transition between the behavioral initiation and maintenance training stages. Simulation results are presented to illustrate the performance of the system using a model for a hypothetical participant under realistic conditions that include uncertainty. The contributions of this dissertation can ultimately impact novel applications of cyberphysical system in medical applications.
A closed-loop intensively adaptive intervention for physical activity is proposed relying on a controller formulation based on HMPC. The discrete and logical features of HMPC naturally address the categorical nature of the intervention components that include behavioral goals and reward points. The intervention incorporates online controller reconfiguration to manage the transition between the behavioral initiation and maintenance training stages. Simulation results are presented to illustrate the performance of the system using a model for a hypothetical participant under realistic conditions that include uncertainty. The contributions of this dissertation can ultimately impact novel applications of cyberphysical system in medical applications.
ContributorsMartín Moreno, César Antonio (Author) / Rivera, Daniel E (Thesis advisor) / Hekler, Eric B. (Committee member) / Peet, Matthew M (Committee member) / Tsakalis, Konstantinos S (Committee member) / Arizona State University (Publisher)
Created2016
Description
The power of science lies in its ability to infer and predict the
existence of objects from which no direct information can be obtained
experimentally or observationally. A well known example is to
ascertain the existence of black holes of various masses in different
parts of the universe from indirect evidence, such as X-ray emissions.
In the field of complex networks, the problem of detecting
hidden nodes can be stated, as follows. Consider a network whose
topology is completely unknown but whose nodes consist of two types:
one accessible and another inaccessible from the outside world. The
accessible nodes can be observed or monitored, and it is assumed that time
series are available from each node in this group. The inaccessible
nodes are shielded from the outside and they are essentially
``hidden.'' The question is, based solely on the
available time series from the accessible nodes, can the existence and
locations of the hidden nodes be inferred? A completely data-driven,
compressive-sensing based method is developed to address this issue by utilizing
complex weighted networks of nonlinear oscillators, evolutionary game
and geospatial networks.
Both microbes and multicellular organisms actively regulate their cell
fate determination to cope with changing environments or to ensure
proper development. Here, the synthetic biology approaches are used to
engineer bistable gene networks to demonstrate that stochastic and
permanent cell fate determination can be achieved through initializing
gene regulatory networks (GRNs) at the boundary between dynamic
attractors. This is experimentally realized by linking a synthetic GRN
to a natural output of galactose metabolism regulation in yeast.
Combining mathematical modeling and flow cytometry, the
engineered systems are shown to be bistable and that inherent gene expression
stochasticity does not induce spontaneous state transitioning at
steady state. By interfacing rationally designed synthetic
GRNs with background gene regulation mechanisms, this work
investigates intricate properties of networks that illuminate possible
regulatory mechanisms for cell differentiation and development that
can be initiated from points of instability.
existence of objects from which no direct information can be obtained
experimentally or observationally. A well known example is to
ascertain the existence of black holes of various masses in different
parts of the universe from indirect evidence, such as X-ray emissions.
In the field of complex networks, the problem of detecting
hidden nodes can be stated, as follows. Consider a network whose
topology is completely unknown but whose nodes consist of two types:
one accessible and another inaccessible from the outside world. The
accessible nodes can be observed or monitored, and it is assumed that time
series are available from each node in this group. The inaccessible
nodes are shielded from the outside and they are essentially
``hidden.'' The question is, based solely on the
available time series from the accessible nodes, can the existence and
locations of the hidden nodes be inferred? A completely data-driven,
compressive-sensing based method is developed to address this issue by utilizing
complex weighted networks of nonlinear oscillators, evolutionary game
and geospatial networks.
Both microbes and multicellular organisms actively regulate their cell
fate determination to cope with changing environments or to ensure
proper development. Here, the synthetic biology approaches are used to
engineer bistable gene networks to demonstrate that stochastic and
permanent cell fate determination can be achieved through initializing
gene regulatory networks (GRNs) at the boundary between dynamic
attractors. This is experimentally realized by linking a synthetic GRN
to a natural output of galactose metabolism regulation in yeast.
Combining mathematical modeling and flow cytometry, the
engineered systems are shown to be bistable and that inherent gene expression
stochasticity does not induce spontaneous state transitioning at
steady state. By interfacing rationally designed synthetic
GRNs with background gene regulation mechanisms, this work
investigates intricate properties of networks that illuminate possible
regulatory mechanisms for cell differentiation and development that
can be initiated from points of instability.
ContributorsSu, Ri-Qi (Author) / Lai, Ying-Cheng (Thesis advisor) / Wang, Xiao (Thesis advisor) / Bliss, Daniel (Committee member) / Tepedelenlioğlu, Cihan (Committee member) / Arizona State University (Publisher)
Created2015
Description
Tire blowout often occurs during driving, which can suddenly disturb vehicle motions and seriously threaten road safety. Currently, there is still a lack of effective methods to mitigate tire blowout risks in everyday traffic, even for automated vehicles. To fundamentally study and systematically resolve the tire blowout issue for automated vehicles, a collaborative project between General Motors (GM) and Arizona State University (ASU) has been conducted since 2018. In this dissertation, three main contributions of this project will be presented. First, to explore vehicle dynamics with tire blowout impacts and establish an effective simulation platform for close-loop control performance evaluation, high-fidelity tire blowout models are thoroughly developed by explicitly considering important vehicle parameters and variables. Second, since human cooperation is required to control Level 2/3 partially automated vehicles (PAVs), novel shared steering control schemes are specifically proposed for tire blowout to ensure safe vehicle stabilization via cooperative driving. Third, for Level 4/5 highly automated vehicles (HAVs) without human control, the development of control-oriented vehicle models, controllability study, and automatic control designs are performed based on impulsive differential systems (IDS) theories.
Co-simulations Matlab/Simulink® and CarSim® are conducted to validate performances of all models and control designs proposed in this dissertation. Moreover, a scaled test vehicle at ASU and a full-size test vehicle at GM are well instrumented for data collection and control implementation. Various tire blowout experiments for different scenarios are conducted for more rigorous validations. Consequently, the proposed high-fidelity tire blowout models can correctly and more accurately describe vehicle motions upon tire blowout. The developed shared steering control schemes for PAVs and automatic control designs for HAVs can effectively stabilize a vehicle to maintain path following performance in the driving lane after tire blowout.
In addition to new research findings and developments in this dissertation, a pending patent for tire blowout detection is also generated in the tire blowout project. The obtained research results have attracted interest from automotive manufacturers and could have a significant impact on driving safety enhancement for automated vehicles upon tire blowout.
ContributorsLi, Ao (Author) / Chen, Yan (Thesis advisor) / Berman, Spring (Committee member) / Kannan, Arunachala Mada (Committee member) / Liu, Yongming (Committee member) / Lin, Wen-Chiao (Committee member) / Marvi, Hamidreza (Committee member) / Arizona State University (Publisher)
Created2023