Özveren, Cüneyt M.
Overview
Works:  13 works in 37 publications in 1 language and 49 library holdings 

Roles:  Author 
Publication Timeline
.
Most widely held works by
Cüneyt M Özveren
Aggregation and multilevel control in discrete event dynamic systems by Cüneyt M Özveren(
Book
)
7 editions published between 1989 and 1990 in English and held by 8 WorldCat member libraries worldwide
In this paper we consider the problem of higherlevel aggregate modelling and control of discreteevent dynamic systems (DEDS) modelled as finite state automata in which some events are controllable, some are observed, and some represent events to be tracked. The higherlevel models considered correspond to associating specified sequences of events in the original system to single macroscopic events in the higher level model. We also consider the problem of designing a compensator that can be used to restrict microscopic behavior so that the system will only produce strings of these primitive sequences or tasks. With this lower level control in place we can construct higherlevel models which typically have many fewer states and events than the original system. Also, motivated by applications such as flexible manufacturing, we address the problem of constructing and controlling higherlevel models of interconnections of DEDS. This allows us to "slow down" the combinatorial explosion typically present in computations involving interacting automata
7 editions published between 1989 and 1990 in English and held by 8 WorldCat member libraries worldwide
In this paper we consider the problem of higherlevel aggregate modelling and control of discreteevent dynamic systems (DEDS) modelled as finite state automata in which some events are controllable, some are observed, and some represent events to be tracked. The higherlevel models considered correspond to associating specified sequences of events in the original system to single macroscopic events in the higher level model. We also consider the problem of designing a compensator that can be used to restrict microscopic behavior so that the system will only produce strings of these primitive sequences or tasks. With this lower level control in place we can construct higherlevel models which typically have many fewer states and events than the original system. Also, motivated by applications such as flexible manufacturing, we address the problem of constructing and controlling higherlevel models of interconnections of DEDS. This allows us to "slow down" the combinatorial explosion typically present in computations involving interacting automata
Output stabilizability of discrete event dynamic systems by Cüneyt M Özveren(
Book
)
7 editions published in 1989 in English and held by 8 WorldCat member libraries worldwide
In this paper, we investigate the problem of designing stabilizing feedback compensators for Discrete Event Dynamic Systems (DEDS). The DEDS model used is a finitestate automaton in which some transition events are controllable and some events are observed. The problem of output stabilization is defined as the construction of a compensator such that the closed loop system is stable, in the sense that all state trajectories go through a given set E infinitely often. We define a stronger notion of output stabilizability which requires that we also have perfect knowledge of the state in E through which the trajectory passes on each of its visits to E. Necessary and sufficient conditions are presented for both notions. The complexity of these tests is polynomial in the cardinality of the state space of the observer. A number of sufficient conditions for the weaker notion are also presented. Corresponding tests for these sufficient conditions are shown to be polynomial in the cardinality of the state space of the system. Finally, a problem of resilient output stabilizability is addressed
7 editions published in 1989 in English and held by 8 WorldCat member libraries worldwide
In this paper, we investigate the problem of designing stabilizing feedback compensators for Discrete Event Dynamic Systems (DEDS). The DEDS model used is a finitestate automaton in which some transition events are controllable and some events are observed. The problem of output stabilization is defined as the construction of a compensator such that the closed loop system is stable, in the sense that all state trajectories go through a given set E infinitely often. We define a stronger notion of output stabilizability which requires that we also have perfect knowledge of the state in E through which the trajectory passes on each of its visits to E. Necessary and sufficient conditions are presented for both notions. The complexity of these tests is polynomial in the cardinality of the state space of the observer. A number of sufficient conditions for the weaker notion are also presented. Corresponding tests for these sufficient conditions are shown to be polynomial in the cardinality of the state space of the system. Finally, a problem of resilient output stabilizability is addressed
Asymptotic Orders of Reachability in Perturbed Linear Systems by Cüneyt M Özveren(
Book
)
5 editions published between 1987 and 1988 in English and held by 4 WorldCat member libraries worldwide
A framework for studying asymptotic orders of reachability in perturbed linear, timeinvariant systems is developed. The systems of interest are defined by matrices that have asymptotic expansions in powers of a perturbation parameter about the point 0. The reachability structure is exposed via the Smith form of the reachability matrix. The approach is used to provide insight into the kinds of inputs needed to reach weakly reachable target states, into the structure of highgain feedback for poleplacement, and into the types of inputs that steer trajectories arbitrarily close to almost (A, B)invariant subspaces and almost (A, B)controllability subspaces
5 editions published between 1987 and 1988 in English and held by 4 WorldCat member libraries worldwide
A framework for studying asymptotic orders of reachability in perturbed linear, timeinvariant systems is developed. The systems of interest are defined by matrices that have asymptotic expansions in powers of a perturbation parameter about the point 0. The reachability structure is exposed via the Smith form of the reachability matrix. The approach is used to provide insight into the kinds of inputs needed to reach weakly reachable target states, into the structure of highgain feedback for poleplacement, and into the types of inputs that steer trajectories arbitrarily close to almost (A, B)invariant subspaces and almost (A, B)controllability subspaces
Analysis and control of discrete even dynamic systems : a state space approach by Cüneyt M Özveren(
Book
)
2 editions published in 1989 in English and held by 4 WorldCat member libraries worldwide
This involves the introduction of the notion of resiliency, i.e. of the ability of the DEDS to resume correct tracking after an error. Finally, a crucial issue in the analysis of DEDS is computational complexity. To address this problem, we describe a theory of hierarchical modeling in which sequences of events at a low level are mapped into a single event (a task) at a higher level."
2 editions published in 1989 in English and held by 4 WorldCat member libraries worldwide
This involves the introduction of the notion of resiliency, i.e. of the ability of the DEDS to resume correct tracking after an error. Finally, a crucial issue in the analysis of DEDS is computational complexity. To address this problem, we describe a theory of hierarchical modeling in which sequences of events at a low level are mapped into a single event (a task) at a higher level."
Observability of discrete event dynamic systems by Cüneyt M Özveren(
Book
)
3 editions published in 1989 in English and held by 4 WorldCat member libraries worldwide
3 editions published in 1989 in English and held by 4 WorldCat member libraries worldwide
Invertibility of discrete event dynamic systems by Cüneyt M Özveren(
Book
)
2 editions published in 1989 in English and held by 3 WorldCat member libraries worldwide
2 editions published in 1989 in English and held by 3 WorldCat member libraries worldwide
Stability and stabilizability of discrete event dynamic systems by Cüneyt M Özveren(
Book
)
2 editions published in 1989 in English and held by 3 WorldCat member libraries worldwide
2 editions published in 1989 in English and held by 3 WorldCat member libraries worldwide
Tracking and restrictability in discrete event dynamic systems by Cüneyt M Özveren(
Book
)
2 editions published in 1989 in English and held by 3 WorldCat member libraries worldwide
2 editions published in 1989 in English and held by 3 WorldCat member libraries worldwide
Stabilization, tracking and hierarchical modeling of discreteevent dynamic systems by C. M Ozveren(
Book
)
3 editions published in 1989 in English and held by 3 WorldCat member libraries worldwide
A finite state automaton is adopted as a model for Discrete Event Dynamic Systems (DEDS). Observations are assumed to be a subset of the event alphabet. Observability is defined as having perfect knowledge of the current state at points in time seperated by bounded numbers of transitions. A polynomial test for observability is given. It is shown that an observer may be constructed and implemented in polynomial time and space. A bound on the cardinality of the observer state space is also presented. A notion of resiliency is defined for observers, and a test for resilient observability and a procedure for the construction of a resilient observer are presented
3 editions published in 1989 in English and held by 3 WorldCat member libraries worldwide
A finite state automaton is adopted as a model for Discrete Event Dynamic Systems (DEDS). Observations are assumed to be a subset of the event alphabet. Observability is defined as having perfect knowledge of the current state at points in time seperated by bounded numbers of transitions. A polynomial test for observability is given. It is shown that an observer may be constructed and implemented in polynomial time and space. A bound on the cardinality of the observer state space is also presented. A notion of resiliency is defined for observers, and a test for resilient observability and a procedure for the construction of a resilient observer are presented
Analysis and control of commodity production cycles by Cüneyt M Özveren(
)
1 edition published in 1989 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1989 in English and held by 2 WorldCat member libraries worldwide
Controltheory heuristics for improving the behavior of economic models by
John Sterman(
Book
)
1 edition published in 1988 in English and held by 1 WorldCat member library worldwide
1 edition published in 1988 in English and held by 1 WorldCat member library worldwide
Asymptotic orders of reachability in linear dynamic systems by Cüneyt M Özveren(
)
1 edition published in 1987 in English and held by 1 WorldCat member library worldwide
1 edition published in 1987 in English and held by 1 WorldCat member library worldwide
Communication aspects of parallel processing by C Oezveren(
Book
)
1 edition published in 1987 in English and held by 1 WorldCat member library worldwide
Parallel processing was motivated by the need to solve very large computational problems, such as the numerical solutions of partial differential equations in the context of computational fluid dynamics, structural mechanics, image processing, etc. This report surveys recent literature on parallel processing algorithms for mainly rings, meshes, and hypercubes. These algorithms include vector, matrix computations, fixed point iterations and linear equation solvers. A group property of above topologies has also been explored in an attempt to develop tools for algorithms and performance analysis. Some special sparsity structure of the iteration dependencies has also been examined. A necessary and sufficient condition for the reducibility of a dependency matrix with sparse, nonzero extended diagonals has been derived. Keywords: Communications traffic, Traffic distributions. (kr)
1 edition published in 1987 in English and held by 1 WorldCat member library worldwide
Parallel processing was motivated by the need to solve very large computational problems, such as the numerical solutions of partial differential equations in the context of computational fluid dynamics, structural mechanics, image processing, etc. This report surveys recent literature on parallel processing algorithms for mainly rings, meshes, and hypercubes. These algorithms include vector, matrix computations, fixed point iterations and linear equation solvers. A group property of above topologies has also been explored in an attempt to develop tools for algorithms and performance analysis. Some special sparsity structure of the iteration dependencies has also been examined. A necessary and sufficient condition for the reducibility of a dependency matrix with sparse, nonzero extended diagonals has been derived. Keywords: Communications traffic, Traffic distributions. (kr)
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
Languages