Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Sparse Controller Synthesis). Showing records 1 – 2 of 2 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of California – Berkeley

1. Li, Wenchao. Specification Mining: New Formalisms, Algorithms and Applications.

Degree: Electrical Engineering & Computer Sciences, 2013, University of California – Berkeley

Specification is the first and arguably the most important step for formal verification and correct-by-construction synthesis. These tasks require understanding precisely a design's intended behavior, and thus are only effective if the specification is created right. For example, much of the challenge in bug finding lies in finding the specification that mechanized tools can use to find bugs. It is extremely difficult to manually create a complete suite of good-quality formal specifications, especially given the enormous scale and complexity of designs today. Many real-world experiences indicate that poor or the lack of sufficient specifications can easily lead to misses of critical bugs, and in turn design re-spins and time-to-market slips.This dissertation presents research that mitigates this manual and error-prone process through automation. The overarching theme is specification mining - the process of inferring likely specifications by observing a design's behaviors. We explore formalisms and algorithms to mine specifications from different sources, and demonstrate that the mined specifications are useful if not essential for a variety of applications such as verification, diagnosis and synthesis. The first part of the dissertation presents two approaches to mine specifications dynamically from simulation or execution traces. The first approach offers a simple but effective template-based remedy to the aforementioned problem. The second approach presents a novel formalism of specification mining based on the notion of sparse coding, which can learn latent structures in an unsupervised setting, and thus are not restricted by predefined templates. Additionally, we show that the mined specifications from both approaches can be used to localize bugs effectively.In the second part of the dissertation, we study the problem of synthesis from temporal logic specifications. This synthesis approach offers an attractive proposition - one can automatically construct a functionally correct system from its behavioral description. The downside, however, is that it completely relies on the user to not only specify the intended behaviors of the system but also the assumptions on the environment. The latter is especially tricky in practice as environment assumptions are often implicit knowledge and seldom documented. We propose a framework that learns assumptions from the counterstrategies of an unrealizable specification to systematically guide it towards realizability. We further show that, the proposed counterstrategy-guided assumption mining approach enables the automatic synthesis of a new class of semi-autonomous controllers, called human-in-the-loop (HuIL) controllers. A crucial component of such a controller is an advisory that determines when to switch control from the autonomous controller to the human operator. We formalize the criteria that characterize a HuIL controller, by taking into account of human factors such as response time, and describe how to construct the advisory using assumption mining. Human inputs are…

Subjects/Keywords: Computer engineering; Computer science; Logic; Bug Localization; Controller Synthesis; Counterstrategy-Guided; Environment Assumption; Sparse Coding; Specification Mining

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Li, W. (2013). Specification Mining: New Formalisms, Algorithms and Applications. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/4027r49r

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Li, Wenchao. “Specification Mining: New Formalisms, Algorithms and Applications.” 2013. Thesis, University of California – Berkeley. Accessed July 02, 2020. http://www.escholarship.org/uc/item/4027r49r.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Li, Wenchao. “Specification Mining: New Formalisms, Algorithms and Applications.” 2013. Web. 02 Jul 2020.

Vancouver:

Li W. Specification Mining: New Formalisms, Algorithms and Applications. [Internet] [Thesis]. University of California – Berkeley; 2013. [cited 2020 Jul 02]. Available from: http://www.escholarship.org/uc/item/4027r49r.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Li W. Specification Mining: New Formalisms, Algorithms and Applications. [Thesis]. University of California – Berkeley; 2013. Available from: http://www.escholarship.org/uc/item/4027r49r

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Lehigh University

2. Arastoo, Reza. Analysis & Synthesis of Distributed Control Systems with Sparse Interconnection Topologies.

Degree: PhD, Mechanical Engineering, 2016, Lehigh University

This dissertation is about control, identification, and analysis of systems with sparse interconnection topologies. We address two main research objectives relating to sparsity in control systems and networks. The first problem is optimal sparse controller synthesis, and the second one is the identification of sparse network. The first part of this dissertation starts with the chapter focusing on developing theoretical frameworks for the synthesis of optimal sparse output feedback controllers under pre-specified structural constraints. This is achieved by establishing a balance between the stability of the controller and the systems quadratic performance. Our approach is mainly based on converting the problem into rank constrained optimizations.We then propose a new approach in the syntheses of sparse controllers by em- ploying the concept of Hp approximations. Considering the trade-off between the controller sparsity and the performance deterioration due to the sparsification pro- cess, we propose solving methodologies in order to obtain robust sparse controllers when the system is subject to parametric uncertainties.Next, we pivot our attention to a less-studied notion of sparsity, namely row sparsity, in our optimal controller design. Combining the concepts from the majorization theory and our proposed rank constrained formulation, we propose an exact reformulation of the optimal state feedback controllers with strict row sparsity constraint, which can be sub-optimally solved by our proposed iterative optimization techniques. The second part of this dissertation focuses on developing a theoretical framework and algorithms to derive linear ordinary differential equation models of gene regulatory networks using literature curated data and micro-array data. We propose several algorithms to derive stable sparse network matrices. A thorough comparison of our algorithms with the existing methods are also presented by applying them to both synthetic and experimental data-sets. Advisors/Committee Members: Kothare, Mayuresh V..

Subjects/Keywords: Alternating Direction Method of Multipliers; Convex Optimization; Rank Constrained Optimization; Row Sparsity; Sparse Controller Synthesis; Engineering; Mechanical Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Arastoo, R. (2016). Analysis & Synthesis of Distributed Control Systems with Sparse Interconnection Topologies. (Doctoral Dissertation). Lehigh University. Retrieved from https://preserve.lehigh.edu/etd/2493

Chicago Manual of Style (16th Edition):

Arastoo, Reza. “Analysis & Synthesis of Distributed Control Systems with Sparse Interconnection Topologies.” 2016. Doctoral Dissertation, Lehigh University. Accessed July 02, 2020. https://preserve.lehigh.edu/etd/2493.

MLA Handbook (7th Edition):

Arastoo, Reza. “Analysis & Synthesis of Distributed Control Systems with Sparse Interconnection Topologies.” 2016. Web. 02 Jul 2020.

Vancouver:

Arastoo R. Analysis & Synthesis of Distributed Control Systems with Sparse Interconnection Topologies. [Internet] [Doctoral dissertation]. Lehigh University; 2016. [cited 2020 Jul 02]. Available from: https://preserve.lehigh.edu/etd/2493.

Council of Science Editors:

Arastoo R. Analysis & Synthesis of Distributed Control Systems with Sparse Interconnection Topologies. [Doctoral Dissertation]. Lehigh University; 2016. Available from: https://preserve.lehigh.edu/etd/2493

.