منابع مشابه
Optimal Finite-time Control of Positive Linear Discrete-time Systems
This paper considers solving optimization problem for linear discrete time systems such that closed-loop discrete-time system is positive (i.e., all of its state variables have non-negative values) and also finite-time stable. For this purpose, by considering a quadratic cost function, an optimal controller is designed such that in addition to minimizing the cost function, the positivity proper...
متن کاملTowards Scalable Synthesis of Stochastic Control Systems
Formal control synthesis approaches over stochastic systems have received significant attention in the past few years, in view of their ability to provide provably correct controllers for complex logical specifications in an automated fashion. Examples of complex specifications of interest include properties expressed as formulae in linear temporal logic (LTL) or as automata on infinite strings...
متن کاملScalable Access Control for Distributed Object Systems
A key obstacle to the widespread use of distributed object oriented systems is the lack of scalable access control mechanisms. It is often necessary to control access to individual objects and methods. In large systems, however, these can be so numerous that the resulting proliferation of access control information becomes overwhelming. We describe Object Oriented Domain and Type Enforcement (O...
متن کاملScalable Concurrency Control for Parallel File Systems
Parallel le systems employ data declustering to increase I/O throughput. As a result, a single read or write operation can generate concurrent data accesses on multiple storage devices. Unless a concurrency control mechanism is employed, familiar le access semantics are likely to be violated. This paper details the transaction-based concurrency control mechanism implemented in the PIOUS paralle...
متن کاملSecuring Positive Train Control Systems
Positive train control (PTC) systems are distributed interoperable systems that control the movement of passenger and freight trains, providing significant safety enhancements over traditional methods of operating railroads. Due to their reliance on wireless communications, PTC systems are vulnerable to attacks that can compromise safety and potentially cause serious accidents. Designing PTC sy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: European Journal of Control
سال: 2015
ISSN: 0947-3580
DOI: 10.1016/j.ejcon.2015.04.004