Mekatronik Mühendisliği Bölümü Yayın Koleksiyonu
Permanent URI for this collectionhttps://hdl.handle.net/20.500.12416/255
Browse
9 results
Search Results
Article Citation - WoS: 4Citation - Scopus: 4String Stability Under Actuator Saturation on Straight Level Roads: Sufficient Conditions and Optimal Trajectory Generation(Ieee-inst Electrical Electronics Engineers inc, 2022) Bingol, Hilal; Schmidt, Klaus WernerThe heterogeneity of vehicles is an important factor when realizing cooperative adaptive cruise control (CACC) in practice. Specifically, it has to be considered that platoons generally consist of vehicles with both different dynamic properties and actuator limits on the engine and braking force, which is expected to have a negative impact on important properties such as string stability. Accordingly, the subject of this paper is the preservation of string stability for CACC in heterogeneous vehicle strings with potential actuator saturation. To this end, the paper formulates a velocity-dependent force bound that enables the derivation of sufficient conditions for preserving string stability during velocity changes of heterogeneous platoons. These conditions are then used for the analytical computation of trajectories for time-optimal velocity changes. The formal results of the paper are supported by an illustrative simulation study.Article Citation - WoS: 15Citation - Scopus: 17Distributed Real-Time Protocols for Industrial Control Systems: Framework and Examples(Ieee Computer Soc, 2012) Schmidt, Klaus Werner; Schmidt, Ece GuranThe automation of today's large-scale industrial systems relies on the operation of distributed controller devices that perform local computations and exchange information via communication networks. The subject of this paper is the development of a family of shared-medium industrial communication protocols that support the transmission of real-time (RT) and nonreal-time (nRT) data among distributed controller devices. Different from existing protocols, we suggest to incorporate information that is available from the control application in the protocol definition. As a result, our protocols dynamically change the bandwidth allocation on the shared medium according to the instantaneous communication requirements while ensuring hard RT guarantees. Following the recent developments in industrial automation, our protocols can be realized as software layers on top of low-cost conventional Ethernet.Article Citation - WoS: 9Citation - Scopus: 9Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems(Ieee-inst Electrical Electronics Engineers inc, 2012) Schmidt, Klaus Werner; Ribeiro Cury, Jose Eduardo; Cury, José Eduardo RibeiroThe topic of this technical note is the nonblocking and maximally permissive abstraction-based supervisory control for modular discrete event systems (DES). It is shown, that an efficient abstraction technique, that was developed for the nonconflict verification of modular DES, is also suitable for the nonblocking supervisory control. Moreover, it is proved that this abstraction technique can be extended by the condition of local control consistency, in order to achieve maximally permissive supervision. Different from existing approaches, the presented abstraction does not require to preserve the shared events among the system components in the respective abstraction alphabets, and hence leads to potentially smaller system abstractions. The obtained results are illustrated by a flexible manufacturing system example.Article Citation - WoS: 16Citation - Scopus: 18Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems(Ieee-inst Electrical Electronics Engineers inc, 2013) Schmidt, Klaus WernerIn this paper, we study the diagnosability verification for modular discrete-event systems (DESs), i.e., DESs that are composed of multiple components. We focus on a particular modular architecture, where each fault in the system must be uniquely identified by the modular component where it occurs and solely based on event observations of that component. Hence, all diagnostic computations for faults to be detected in this architecture can be performed locally on the respective modular component, and the obtained diagnosis information is only relevant for that component. We define the condition of modular language diagnosability with local specifications (MDLS) in order to capture that each fault can indeed be detected in this modular architecture. Then, we show that MDLS can be formulated as a specific language-diagnosability problem. As the main contribution of this paper, we develop an incremental abstraction-based approach for the verification of MDLS, which is based on projections that fulfill the loop-preserving observer condition. In particular, our approach efficiently avoids the construction of a global system model, which is infeasible for systems of realistic size. Furthermore, we do not rely on the assumption of a live global plant, which is prevalent in previous diagnosability methods for modular DESs. We illustrate our approach and its computational savings by a manufacturing system example.Article Citation - WoS: 20Citation - Scopus: 20Robust Priority Assignments for Extending Existing Controller Area Network Applications(Ieee-inst Electrical Electronics Engineers inc, 2014) Schmidt, Klaus WernerThe usage of the controller area network (CAN) as an in-vehicle communication bus requires finding feasible and robust priority orders such that each message transmitted on the bus meets its specified deadline and tolerates potential transmission errors. Although such priority orders can be determined by available algorithms whenever they exist, it is always assumed that a CAN priority order is computed from scratch. In practical applications, it is frequently necessary to extend an existing message set by new messages. In this case, a feasible priority order that retains the standardized IDs of the existing messages and assigns suitable priorities to the new messages needs to be found. This paper proposes an algorithm for the computation of robust priority orders that solves the stated problem of extending existing message sets. First, bounds for the priorities of new messages are determined and then the most robust priority order that keeps the IDs of the existing messages is computed. The obtained algorithms are proved to yield correct results and are illustrated by detailed scheduling examples.Article Citation - WoS: 17Citation - Scopus: 17A Framework for State Attraction of Discrete Event Systems Under Partial Observation(Elsevier Science inc, 2014) Schmidt, Klaus Werner; Breindl, ChristianState attraction for discrete event systems (DES) addresses the problem of reaching a desired subset of the plant state space after a bounded number of event occurrences. The problem of state attraction arises for example in fault-tolerant supervisory control or in the control of reconfigurable manufacturing systems, and is also applicable to systems biological problems such as the control of gene regulatory networks. State attraction is investigated with the assumption of full event observation in the existing literature. This paper extends the concept of state attraction to the case of partial observation. The notion of weak attraction under partial observation (WAPO) is introduced and necessary and sufficient conditions for the existence of a supervisor under partial observation that achieves WAPO are derived. Furthermore, a solution algorithm is proposed that finds such supervisor whenever it exists. It is shown that such supervisor can always be realized as a subautomaton of the observer automaton of the DES plant. An application example from systems biology illustrates the obtained results. (C) 2014 Elsevier Inc. All rights reserved.Article Citation - WoS: 17Citation - Scopus: 20State Attraction Under Language Specification for the Reconfiguration of Discrete Event Systems(Ieee-inst Electrical Electronics Engineers inc, 2015) Nooruldeen, Anas; Schmidt, Klaus WernerIn this note, we study a particular setting for the reconfiguration of discrete event systems (DES) that is applicable to the control of reconfigurable manufacturing systems (RMS). We consider DES that can operate in different configurations and we are interested in the realization of configuration changes. Different from previous work, we intend to reach a set of plant states where a new configuration can be started in a bounded number of transitions and at the same time fulfill a behavioral specification before starting the new configuration. To this end, we introduce the concept of weak attraction under language specification (WALS) and derive necessary and sufficient conditions for its verification. Using WALS, we propose a polynomial-time algorithm for computing a supervisor that performs the described configuration changes. We demonstrate the applicability of our method using a workcell of an RMS.Article Citation - WoS: 5Citation - Scopus: 5Optimal Supervisory Control of Discrete Event Systems: Cyclicity and Interleaving of Tasks(Siam Publications, 2015) Schmidt, Klaus WernerA substantial number of tasks in production systems are executed in a repetitive, cyclic fashion. Specifically, production systems run different production cycles of different products as well as different instances of the same production cycle. In this paper, we consider the optimal control and interleaving of such production cycles in a supervisory control framework for discrete event systems (DESs). That is, different from other approaches, our work is based on a behavioral specification of each production cycle. First, we adapt an optimal control approach for DESs, in order to optimize the operation of individual production cycles. Second, we employ the interleaving composition to design a supervisor that enables the simultaneous execution of different production cycles. Combining both results, we can further determine the maximum number of production cycles that can be executed simultaneously on a given production system.Article Citation - WoS: 41Citation - Scopus: 49Fuzzy Discrete Event Systems for Multiobjective Control: Framework and Application To Mobile Robot Navigation(Ieee-inst Electrical Electronics Engineers inc, 2012) Schmidt, Klaus Werner; Boutalis, Yiannis S.Fuzzy discrete event systems (FDESs) have been introduced in recent years to model systems whose discrete states or discrete state transitions can be uncertain and are, hence, determined by a possibility degree. This paper develops an FDES framework for the control of sampled data systems that have to fulfill multiple objectives. The choice of a fuzzy system representation is justified by the assumption of a controller realization that depends on various potentially imprecise sensor measurements. The proposed framework consists of three basic steps that are performed at each sampling instant. First, the current fuzzy state of the system is determined by a sensor evaluation. Second, the fuzzy state in the future sampling instant is predicted for all possible control actions of the system. Finally, an original multiobjective weighting strategy is proposed to determine the control action to be applied in the current sampling instant. The features of the proposed approach are demonstrated by a detailed mobile robot example, which includes a simulation study.