1,721,198 research outputs found
Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
No full textIn this paper we consider a control problem where the plant is a continuous-time incrementally stable nonlinear system, the controller is modeled as a finite state machine and the specification is modeled as a regular language. In some applications of interest it can be the case that the system does not know the whole specification to be enforced, but only a first part of it; then, at some time the system will obtain a second specification for which the controller needs to reconfigure. We propose results for the efficient synthesis of controllers in this setting. An analysis of computational complexity of the proposed approach is included which is also compared to traditional ones. An illustrative example is also presented
On symbolic control design of nonlinear systems with dynamic regular language specifications
Full text linkControl of Cyber-Physical Systems: a Formal Method approach
Full text linkOver the past few decades, the rapid evolution of computing has brought to the born of
more complex and detailed paradigms of system, named Cyber-Physical Systems (CPS),
i.e. systems where physical processes, generally described by continuous dynamics, interact
with computing units, generally described by (discrete) models of computation,
using a (nonideal) communication infrastructure. The generality of CPS to achieve different
and complex scenarios translates in a difficulty to provide systematic methods to
their analysis and control. A promising solution is given by hybrid systems, that are dynamical
models that combine behaviours of purely continuous dynamics with discrete
dynamics. The rich and complex behaviour of such models poses difficulties about how
to approach the design of control systems.
In the last twenty years, researchers working in the area of computer science and control
theory have explored formal methods as an automatic tool for addressing analysis and
control design of this complex kind of systems. Central to this approach is the construction
of symbolic system that approximate purely continuous or hybrid plants and
preserve the same properties of the Cyber-Physical Systems while hiding the details
that are of no interest. A symbolic system is an abstract description of a purely continuous
or hybrid system where each state corresponds to an aggregate of continuous/hybrid
states and each label to an aggregate of continuous/hybrid inputs. The relevance of this
approach is corroborated by considering complex logic specifications and mathematical
models that can directly incorporate constraints on hardware and software architectures.
The contribution of this thesis is to enhance the amount of possible scenario accounted
by symbolic systems
Violencia digital: un tipo de violencia de género no incorporado (o ausente) en la ley 26.485
Full text linkAunque la defensa de la igualdad de los derechos de las mujeres se ha venido impulsando
tanto desde organismos internacionales como nacionales, en sus declaraciones no contemplan de
forma específica las agresiones efectuadas de manera virtual, aun cuando distintos estudios
concluyen que la población femenina configura el grupo más expuesto y vulnerable en los espacios
digitales.
A partir del análisis bibliográfico y la lectura de fallos jurisprudenciales, en este trabajo se
analizará si la ley 26.485 recepta o no a la violencia de género digital debido a su proliferación en
la actualidad derivado del uso profuso de las redes sociales, y qué herramientas legislativas utilizan
los tribunales judiciales para resolver ante estos casos.Fil: Masciulli, Clara. Universidad Nacional del Noroeste de la Provincia de Buenos Aires. Escuela de Ciencias Económicas y Jurídicas; Argentina.Abogací
Output Feedback Control of Nondeterministic Finite–State Systems with Reach–Avoid Specifications
No full textIn this paper we address control design of non-deterministic finite state systems with reach-avoid specifications. A general class of controllers is considered, which combines feedforward and output feedback schemes. Results proposed here extend those of [1] in two directions: first, here we consider reach avoid-specifications instead of simply reachability specifications; second, we propose algorithms exhibiting better time computational complexity than those given in [1]
" Transmission properties of a Cantor corrugated waveguide
No full textThe spectral transmission properties of a self-similar corrugated optical waveguide are studied theoretically. The structure can be realized by square-wave modulation of the guiding layer thickness of a planar waveguide such that the thickest layers belong to a triadic Cantor set. The transmission spectrum exhibits localized peaks inside forbidden frequency band gaps. This feature could be useful in the design of novel filters. Moreover, the self-similarity of the structure is reflected in the weak self-similarity of the transmission spectrum. © 1996 Optical Society of America
- …
