| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910143469503321 |
|
|
Titolo |
Hybrid systems V / / Panos J. Antsaklis [and four others], editors |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; Heidelberg : , : Springer Verlag, , [1999] |
|
©1999 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1999.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (CDLXVIII, 458 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science ; ; Volume 1567 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Papers related to the Fifth International Hybrid SystemsWorkshop , held in Notre Dame, Indiana, September 11-13, 1997. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Control Synthesis of Hybrid Systems Based on Predicate Invariance -- Computing Approximating Automata for a Class of Linear Hybrid Systems -- On Hybrid Systems and the Modal µ-calculus -- The Extended Linear Complementarity Problem and the Modeling and Analysis of Hybrid Systems -- Controller Scheduling Using Neural Networks: Implementation and Experimental Results -- Rigorous Design of a Fault Diagnosis and Isolation Algorithm -- Scalable Data and Sensor Fusion via Multiple Agent Hybrid Systems -- Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Properties -- A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem -- Hybrid Systems with Finite Bisimulations -- Extracting Stable Timed Automata from Switched Model Reference Systems -- Sliding Mode Model Semantics and Simulation for Hybrid Systems -- Time-Deterministic Hybrid Transition Systems -- Heuristic Optimization and Dynamical System Safety Verification -- A Hybrid Receding—Horizon Control Scheme for Nonlinear Discrete—Time Systems -- Approximating Automata and Discrete Control for Continuous Systems — Two Examples from Process Control -- Action Systems with Continuous Behaviour -- Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles -- Optimal Controller Switching for Stochastic Systems -- Robust Control of Hybrid Systems: Performance Guided Strategies -- Analysis of Slope-Parametric |
|
|
|
|
|
|
|
|
|
|
|
|
|
Rectangular Automata -- Control of Interval Temporal Systems -- Phase-Space Nonlinear Control Toolbox: The Maglev Experience. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910828611303321 |
|
|
Autore |
Wells Walker <1966-> |
|
|
Titolo |
Blueprint for greening affordable housing / / Walker Wells and Kimberly Vermeer |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington, District of Columbia : , : Island Press, , [2020] |
|
©2020 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[Revised edition] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (242 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Housing |
Ecological houses |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Sommario/riassunto |
|
"The Blueprint for Greening Affordable Housing is the most comprehensive resource on how green building principles can be incorporated into affordable housing design, construction, and operation. In this fully revised edition, Walker Wells and Kimberly Vermeer capture the rapid evolution of green building practices and make a compelling case for integrating green building in affordable housing. The Blueprint offers guidance on innovative practices, green building certifications for affordable housing, and the latest financing strategies. The completely new case studies share detailed insights into how the many elements of a green building are incorporated into different housing types and locations. Every affordable housing project can achieve the fundamentals of good green building design. The Blueprint gives project teams what they need to push for excellence"-- |
|
|
|
|
|
|
|
| |