2,963 research outputs found
Tarjeta Postal de Giorgio del Vecchio a Pedro Dorado Montero
No full textTarjeta Postal de D. Giorgio del Vecchio, profesor italiano, a D. Pedro Dorado Montero, agradeciéndole el envío de "El Derecho Protector de los Criminiales"
Tarjeta Postal de Giorgio del Vecchio a Pedro Dorado Montero
No full textTarjeta Postal de D. Giorgio del Vecchio, profesor y jurista italiano, a D. Pedro Dorado Montero, agradeciéndole una crítica de su último trabajo en "La España Moderna"
Introduzione
No full textL'introduzione riassume i temi principali trattati dai vari contributo del volume
Enforcing safety of cyberphysical systems using flatness and abstraction
No full textThe diffusion of cyberphysical systems acting in human-populated environments brings to the fore the problem of implementing provably safe control laws, to avoid potentially dangerous collisions between moving parts of the system, and with nearby obstacles, without compromising the system's functionality. The limiting factor in most implementations is the model's complexity, and a common workaround includes the reduction of the physical model, based on differential equations, to a finite symbolic model. Following this strategy, we are investigating ways to exploit the specific structure of many mechanical systems (the differentially flat systems) to achieve this simplification. Our objective is to construct a supervisor enforcing a given set of safety rules, while imposing as little constraints as possible on the system's functionality. In this paper, we outline our approach, and present an example -- a collision avoidance algorithm for a fleet of vehicles converging to an intersection. Our approach improves on previous results by providing a deterministic symbolic model for a class of system, regardless of their stability properties, and by addressing explicitly the problem of safety enforcing.</jats:p
Supervisory control of differentially flat systems based on abstraction
No full textThe limiting factor in most implementations of safety enforcing controllers is the model's complexity, and a common work-around includes the abstraction of the physical model, based on differential equations, to a finite symbolic model. We exploit the specific structure of a class of systems (the differentially flat systems) to perform the abstraction. The objective is to construct a supervisor enforcing a set of safety rules, while imposing as little constraints as possible on the system's functionality. An example - a collision avoidance algorithm for a fleet of vehicles converging to an intersection - is presented. Our approach improves on previous results by providing a deterministic symbolic model irrespective of the stability properties of a system, and by addressing explicitly the problem of enforcing safety.National Science Foundation (U.S.) (Award CNS 0930081
Efficient Algorithms for Collision Avoidance at Intersections
No full textWe consider the problem of synthesising the least restrictive controller for collision avoidance of multiple vehicles at an intersection. The largest set of states for which there exists a control that avoids collisions is known as the maximal controlled invariant set. Exploiting results from the scheduling literature we prove that, for a general model of vehicle dynamics at an intersection, the problem of checking membership in the maximal controlled invariant set is NP-hard. We then describe an algorithm that solves this problem approximately and with provable error bounds. The approximate solution is used to design a supervisor for collision avoidance whose complexity scales polynomially with the number of vehicles. The supervisor is based on a hybrid algorithm that employs a dynamic model of the vehicles and periodically solves a scheduling problem
Luigi Vecchio [recensione], Michela Nocita, Italiotai e Italikoi. Le testimonianze nel Mediterraneo orientale, Roma, L'Erma di Bretschneider, 2012
No full textRecensione di un volume deidcato alla presenza d Italioti e Italici nel Mediterraneo orientale
La certificazione (ex art. 75 ss del d. lgs. n. 276/2003) dei contratti di appalto e subappalto in ambienti sospetti di inquinamento o confinati
No full textCommento agli articoli 1,2,3,8,9,10,11, 12, 13, 14, 15, 16, 17, 85 e 86 del d. lgs. n. 276 del 2003
No full text- …
