{"title":"Translation of output constraint into event constraint in the control of discrete event systems","authors":"Y. Du, S. Wang","doi":"10.1109/CDC.1988.194491","DOIUrl":"https://doi.org/10.1109/CDC.1988.194491","url":null,"abstract":"The output-constrained language of an automation and a translator that translates output constraint into event constraint are formally defined. An algorithm for the construction of a translator is introduced. This allows output constraint to be used to formulate requirements for a discrete-event system. This formulation is in many cases much easier than using event constraint directly. The algorithm is an O(m*n*k) algorithm, where m is the number of states in the constraint, and k is the number of events. By eliminating the inaccessible states in the translator, a more efficient algorithm can be derived.<<ETX>>","PeriodicalId":113534,"journal":{"name":"Proceedings of the 27th IEEE Conference on Decision and Control","volume":"121 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116074788","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Stabilizability, I/O stability and coprime factorizations","authors":"Eduardo Sontag","doi":"10.1109/CDC.1988.194352","DOIUrl":"https://doi.org/10.1109/CDC.1988.194352","url":null,"abstract":"Coprime right factorizations are shown to exist for the input to state mapping of a continuous-time nonlinear system, provided that the smooth feedback stabilization problem be solvable for this system. As a particular case, it follows that feedback linearizable systems admit such factorizations. In order to establish this result, a Lyapunov-theoretic definition is proposed for bounded-input-bounded-output stability. The notion of stabilizability as studied in the state space nonlinear control literature is related to a notion of stability under bounded control perturbations analogous to those studied in operator-theoretic approaches to systems.<<ETX>>","PeriodicalId":113534,"journal":{"name":"Proceedings of the 27th IEEE Conference on Decision and Control","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115850381","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Uniform exponential energy decay of Euler-Bernoulli equations by suitable boundary feedback operators","authors":"R. Triggiani","doi":"10.1109/CDC.1988.194524","DOIUrl":"https://doi.org/10.1109/CDC.1988.194524","url":null,"abstract":"The author sketches the proof of a few novel results on uniform stabilization of Euler-Bernoulli equations. The results are fully consistent with recently established exact controllability and optimal regularity theories. A bending moment type of condition replaces the Neumann boundary condition. The author presents results for the case in which only the boundary control is active. As expected, geometrical conditions on the domain are needed.<<ETX>>","PeriodicalId":113534,"journal":{"name":"Proceedings of the 27th IEEE Conference on Decision and Control","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121733216","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Closed-form Grammians and model reduction for flexible space structures","authors":"T. Williams","doi":"10.1109/CDC.1988.194500","DOIUrl":"https://doi.org/10.1109/CDC.1988.194500","url":null,"abstract":"Analytical expression are derived for the Grammians of a model in modal coordinates for the dynamics of a flexible space structure (FSS). These exact results provide insight into the dynamics of such systems and reduce the known approximate expressions in the case of lightly damped, widely separated modes. A novel algorithm is outlined that uses these to compute a dominant reduced-order model for such a system in an efficient manner.<<ETX>>","PeriodicalId":113534,"journal":{"name":"Proceedings of the 27th IEEE Conference on Decision and Control","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125106983","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"An extended unifying approach to multi-target tracking","authors":"E. Emre, J. Seo","doi":"10.1109/CDC.1988.194479","DOIUrl":"https://doi.org/10.1109/CDC.1988.194479","url":null,"abstract":"By means of global modeling of multitarget tracking (MTT), data-association and maneuver-estimation problems can be simultaneously solved using system identification techniques. With this approach, previously developed single-target tracking-acceleration estimation techniques can also be directly used for the MTT problem. In particular multiple-model (adaptive) Kalman filtering (MMKF) can be used to obtain the optimal solution. For computational considerations, one can apply some suboptimal solutions of MMKF such as one-step conditional maximum likelihood or maximum posteriori estimation.<<ETX>>","PeriodicalId":113534,"journal":{"name":"Proceedings of the 27th IEEE Conference on Decision and Control","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122466098","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Feedback stabilization of a class of nonlinear plants using a factorization approach","authors":"C. Desoer, M. Kabuli","doi":"10.1109/CDC.1988.194351","DOIUrl":"https://doi.org/10.1109/CDC.1988.194351","url":null,"abstract":"The authors generalize the right-coprimeness definition by requiring only that the corresponding plant's pseudo-state be reconstructable by a two-input one-output stable observer. They obtain right-coprime factorizations for a class of nonlinear plants for which a two-input one-output pseudo-state observer is constructed. A feedback stabilization scheme is given using this observer.<<ETX>>","PeriodicalId":113534,"journal":{"name":"Proceedings of the 27th IEEE Conference on Decision and Control","volume":"198 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122527776","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Joint estimation and control for a class of stochastic dynamic teams","authors":"R. Bansal, T. Başar","doi":"10.1109/CDC.1988.194664","DOIUrl":"https://doi.org/10.1109/CDC.1988.194664","url":null,"abstract":"The authors formulate and solve an infinite-horizon stochastic optimization problem where both the control and the measurement strategies are to be designed simultaneously, under a quadratic performance index. The complete solution to the infinite-horizon problem is provided, the existence of optimal stationary policies is established, and an algorithm for the numerical computation of these policies is given. Thus linear stationary policies are overall optimal and can be obtained from the solution of an infinite-horizon nonlinear deterministic optimal control problem.<<ETX>>","PeriodicalId":113534,"journal":{"name":"Proceedings of the 27th IEEE Conference on Decision and Control","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122730415","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A stochastic approximation algorithm for large-dimensional systems in the Kiefer-Wolfowitz setting","authors":"J. Spall","doi":"10.1109/CDC.1988.194588","DOIUrl":"https://doi.org/10.1109/CDC.1988.194588","url":null,"abstract":"The author considers the problem of finding a root of the multivariate gradient equation that arises in function maximization. When only noisy measurements of the function are available, a stochastic approximation (SA) algorithm of the general type due to Kiefer and Wolfowitz (1952) is appropriate for estimating the root. An SA algorithm is presented that is based on a simultaneous-perturbation gradient approximation instead of the standard finite-difference approximation of Kiefer-Wolfowitz type procedures. Theory and numerical experience indicate that the algorithm can be significantly more efficient than the standard finite-difference-based algorithms in large-dimensional problems.<<ETX>>","PeriodicalId":113534,"journal":{"name":"Proceedings of the 27th IEEE Conference on Decision and Control","volume":"21 5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131233621","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
B. Watters, R. B. Coleman, G. Duckworth, E. Berkman
{"title":"A perspective on active machinery isolation","authors":"B. Watters, R. B. Coleman, G. Duckworth, E. Berkman","doi":"10.1109/CDC.1988.194691","DOIUrl":"https://doi.org/10.1109/CDC.1988.194691","url":null,"abstract":"A summary of general considerations in active vibration isolation obtained from experience in developing a testbed system is given. Application of this approach is illustrated by a description of the testing facility and the results achieved to date. These include broadband active vibration isolation of 20 dB over a decade-wide frequency band on the nearly-full-scale testbed. Significant features of the testing facility are a small diesel engine mounted on a representatively complex structural foundation, the correspondingly complex open-loop transfer function of the system, and the use of a hybrid analog/digital controller to partition the compensation filter frequency coverage.<<ETX>>","PeriodicalId":113534,"journal":{"name":"Proceedings of the 27th IEEE Conference on Decision and Control","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131273298","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Systolic array based concurrent processing for real-time high performance control","authors":"E. Rogers, Y. Li","doi":"10.1109/CDC.1988.194729","DOIUrl":"https://doi.org/10.1109/CDC.1988.194729","url":null,"abstract":"Concurrent processing techniques are applied to real-time high-performance control problems. In particular, four shortest-latency systolic array architectures are developed for controller implementation in such problems at word level. A technique termed 'M-expanded pipelining' is used to pipeline these architectures to an arbitrary deeper level. Some preliminary results concerning the expected performance of these architectures are presented.<<ETX>>","PeriodicalId":113534,"journal":{"name":"Proceedings of the 27th IEEE Conference on Decision and Control","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-12-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131418392","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}