| |
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910131259403321 |
|
|
Autore |
Santana Pedro |
|
|
Titolo |
Bogotá 450 años : Retos y realidades / / Pedro Santana, Julián Vargas, Fabio Zambrano, Juan Díaz, Vincent Goueset, Fabio Giraldo, Hernando González, Néstor López, Irma Andrade |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Lima, : Institut français d’études andines, 2015 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (379 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
VargasJulián |
ZambranoFabio |
DíazJuan |
GouesetVincent |
GiraldoFabio |
GonzálezHernando |
LópezNéstor |
AndradeIrma |
Andrade QIrma |
CuervoLuis Augusto |
Díaz ArbeláezJuan |
Giraldo IsazaFabio |
González MurilloHernando |
López FernándezNéstor |
Rueda VargasTomás |
Samper BernalGustavo |
SanclementeAlvaro |
Santana RPedro |
Vargas LesmesJulián |
Zambrano PFabio |
|
|
|
|
|
|
|
|
Soggetti |
|
Urban Studies |
History |
Bogotá |
Colombie |
service public |
urbanisation |
Cundinamarca |
administration |
administración |
Colombia |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
El pasado 6 de agosto, Bogotá cumplió 450 años de fundada. Con este motivo durante los meses finales de 1987 un grupo de investigadores que trabajan sobre distintos aspectos de la problemática de la ciudad capital de Colombia, decidimos reunir-nos para discutir la posibilidad de un trabajo colectivo que tomara como objeto de su reflexión la ciudad de Bogotá. Esta idea fue promovida en el marco del Convenio Foro Nacional por Colombia-Instituto Francés de Estudios Andinos. De hecho las dos instituciones aportaron en las sesiones semanales o quincenales que se realizaron con el grupo de investigadores invitados a tomar parte en la idea de producir un texto que trabajase sobre temas relevantes de la ciudad. En este grupo de reflexión tomaron parte todos los autores del presente texto y además se contó siempre con la entusiasta participación de Samuel Jaramillo, a quien debemos un reconocimiento público, pues, muchas de sus observaciones a los borradores presentados a lo largo del año, fueron incorporadas en la versión final que hoy entregamos a nuestros lectores. También contamos con la presencia de Helena Useche y Ligia Castro, de la Unidad de Vivienda y Desarrollo Urbano de FORO. La Coordinación operativa del grupo, lo mismo que las actas y relatorías de todas las sesiones que realizamos desde septiembre de 1987 y hasta agosto de 1988, estuvo a cargo de Clara Rocío Rodríguez, asistente de investigación en el convenio FORO-IFEA. Ella fue la encargada, igualmente, de la documentación del conjunto del proyecto. Como coordinador editorial quiero dar un agradecimiento público a todos ellos por sus aportes. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910437885103321 |
|
|
Titolo |
Control of discrete-event systems : automata and Petri net perspectives / / Carla Seatzu, Manuel Silva, and Jan H. van Schuppen (eds.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London ; ; New York, : Springer Verlag, c2013 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2013.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXIV, 480 p. 192 illus.) |
|
|
|
|
|
|
Collana |
|
Lecture notes in control and information sciences, , 0170-8643 ; ; 433 |
|
|
|
|
|
|
Altri autori (Persone) |
|
SchuppenJ. H. van |
SeatzuCarla |
Silva SuarezManuel |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Control theory |
Discrete-time systems - Automation |
Petri nets |
Robots - Control systems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
From the Contents: Part I Modeling of Engineering Phenomena by Finite Automata -- Languages, decidability and Complexity. Languages, Decidability and Complexity -- Supervisory Control with Complete Observation. Supervisory Control with Partial Observation -- Observers with Automata -- Part II Introduction to Petri Nets -- Control of Petri Nets with Language Specifications -- Diagnosis of Petri Nets -- Diagnosis with Unfolding -- Structural Methods for the Control of Discrete-event Systems: The Case of the Resource Allocation Problem -- Timed and Time Nets -- Diagnosis of Petri Nets with Time. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. Coverage ranges from introductory material on the basic notions and definitions of discrete-event systems to more recent results. Special attention is given to results on supervisory control, state estimation and fault diagnosis of both centralized and distributed/decentralized systems developed in the framework of the Distributed Supervisory |
|
|
|
|
|
|
|
|
|
|
Control of Large Plants (DISC) project. Later parts of the text are devoted to the study of congested systems though fluidization, an over approximation allowing a much more efficient study of observation and control problems of timed Petri nets. Finally, the max-plus algebraic approach to the analysis and control of choice-free systems is also considered. Control of Discrete-event Systems provides an introduction to discrete-event systems for readers that are not familiar with this class of systems, but also provides an introduction to research problems and open issues of current interest to readers already familiar with them. Most of the material in this book has been presented during a Ph.D. school held in Cagliari, Italy, in June 2011. |
|
|
|
|
|
| |