Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
2012 12th IEEE International Workshop on Advanced Motion Control
| 2012 12th IEEE International Workshop on Advanced Motion Control |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2012 |
| Disciplina | 629.8/95 |
| Soggetto topico |
Intelligent control systems
Motion control devices Electrical & Computer Engineering Engineering & Applied Sciences Electrical Engineering |
| ISBN |
1-4577-1073-0
1-4577-1071-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996216750603316 |
| [Place of publication not identified], : IEEE, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2012 12th IEEE International Workshop on Advanced Motion Control
| 2012 12th IEEE International Workshop on Advanced Motion Control |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2012 |
| Disciplina | 629.8/95 |
| Soggetto topico |
Intelligent control systems
Motion control devices Electrical & Computer Engineering Engineering & Applied Sciences Electrical Engineering |
| ISBN |
9781457710735
1457710730 9781457710711 1457710714 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910130565503321 |
| [Place of publication not identified], : IEEE, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hybrid Systems IV [[electronic resource] /] / edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry
| Hybrid Systems IV [[electronic resource] /] / edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (X, 410 p.) |
| Disciplina | 629.8/95 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Computers Architecture, Computer Special purpose computers Software engineering Algorithms Logics and Meanings of Programs Theory of Computation Computer System Implementation Special Purpose and Application-Based Systems Software Engineering Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-69523-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Bumpless switching in hybrid systems -- A toolbox for proving and maintaining hybrid specifications -- Simulation of hybrid systems -- Application of the Kohn-Nerode control law extraction procedure to the inverted pendulum problem -- Decidability of hybrid systems with linear and nonlinear differential inclusions -- Reliable implementation of hybrid control systems for advanced avionics -- SHIFT: A formalism and a programming language for dynamic networks of hybrid automata -- Synthesis of minimally restrictive legal controllers for a class of hybrid systems -- Control theory, modal logic, and games -- Agent based velocity control of highway systems -- A computational analysis of the reachability problem for a class of hybrid dynamical systems -- A class of rectangular hybrid systems with computable reach set -- Safe implementations of supervisory commands -- Hybrid system games: Extraction of control automata with small topologies -- Hybrid control design for a three vehicle scenario demonstration using overlapping decompositions -- Towards continuous abstractions of dynamical and control systems -- A totally ordered set of discrete abstractions for a given hybrid or continuous system -- Comparing timed and hybrid automata as approximations of continuous systems -- Hybrid control models of next generation air traffic management. |
| Record Nr. | UNISA-996465506303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Hybrid Systems IV / / edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry
| Hybrid Systems IV / / edited by Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry |
| Edizione | [1st ed. 1997.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
| Descrizione fisica | 1 online resource (X, 410 p.) |
| Disciplina | 629.8/95 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Computers Computer architecture Computers, Special purpose Software engineering Algorithms Logics and Meanings of Programs Theory of Computation Computer System Implementation Special Purpose and Application-Based Systems Software Engineering Algorithm Analysis and Problem Complexity |
| ISBN | 3-540-69523-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Bumpless switching in hybrid systems -- A toolbox for proving and maintaining hybrid specifications -- Simulation of hybrid systems -- Application of the Kohn-Nerode control law extraction procedure to the inverted pendulum problem -- Decidability of hybrid systems with linear and nonlinear differential inclusions -- Reliable implementation of hybrid control systems for advanced avionics -- SHIFT: A formalism and a programming language for dynamic networks of hybrid automata -- Synthesis of minimally restrictive legal controllers for a class of hybrid systems -- Control theory, modal logic, and games -- Agent based velocity control of highway systems -- A computational analysis of the reachability problem for a class of hybrid dynamical systems -- A class of rectangular hybrid systems with computable reach set -- Safe implementations of supervisory commands -- Hybrid system games: Extraction of control automata with small topologies -- Hybrid control design for a three vehicle scenario demonstration using overlapping decompositions -- Towards continuous abstractions of dynamical and control systems -- A totally ordered set of discrete abstractions for a given hybrid or continuous system -- Comparing timed and hybrid automata as approximations of continuous systems -- Hybrid control models of next generation air traffic management. |
| Record Nr. | UNINA-9910144920503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
IEC 61499 function blocks for embedded and distributed control systems design
| IEC 61499 function blocks for embedded and distributed control systems design |
| Autore | Vyatkin Valeriy |
| Pubbl/distr/stampa | [Place of publication not identified], : ISA Instrumentation Systems and Automation Society, 2007 |
| Disciplina | 629.8/95 |
| Soggetto topico |
Programmable controllers - Standards - Charts, diagrams, etc
Automatic control - Charts, diagrams, etc - Standards Distributed parameter systems - Standards Embedded computer systems - Standards Mechanical Engineering Engineering & Applied Sciences Mechanical Engineering - General |
| ISBN | 1-61583-547-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9911006577803321 |
Vyatkin Valeriy
|
||
| [Place of publication not identified], : ISA Instrumentation Systems and Automation Society, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Optimal and robust scheduling for networked control systems / / Stefano Longo, Tingli Su, Guido Herrmann, Phil Barber
| Optimal and robust scheduling for networked control systems / / Stefano Longo, Tingli Su, Guido Herrmann, Phil Barber |
| Autore | Longo Stefano |
| Pubbl/distr/stampa | Boca Raton, Fla. : , : CRC Press, Taylor & Francis Group, , [2013] |
| Descrizione fisica | 1 online resource (277 p.) |
| Disciplina | 629.8/95 |
| Altri autori (Persone) |
BarberPhil
HerrmannGuido SuTingli |
| Collana | Automation and control engineering |
| Soggetto topico |
Robust control
Automatic control Computer networks |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-315-21598-5
1-4665-6955-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front Cover; Contents; List of Figures; List of Tables; List of Acronyms; Notation and Symbols; Preface; Author Biographies; 1. Introduction; 2. Control of plants with limited communication; 3. A general framework for NCS modeling; 4. Controllability and observability; 5. Communication sequence optimization; 6. Optimal controller and schedule codesign; 7. Optimal schedule design; 8. Robust schedule design; 9. Application to an automotive control system; 10. Schedule design for nonlinear NCSs; Bibliography |
| Record Nr. | UNINA-9910462703103321 |
|
Longo Stefano
|
||
| Boca Raton, Fla. : , : CRC Press, Taylor & Francis Group, , [2013] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Optimal and robust scheduling for networked control systems / / Stefano Longo, Tingli Su, Guido Herrmann, Phil Barber
| Optimal and robust scheduling for networked control systems / / Stefano Longo, Tingli Su, Guido Herrmann, Phil Barber |
| Autore | Longo Stefano |
| Pubbl/distr/stampa | Boca Raton, Fla. : , : CRC Press, Taylor & Francis Group, , [2013] |
| Descrizione fisica | 1 online resource (277 p.) |
| Disciplina | 629.8/95 |
| Altri autori (Persone) |
BarberPhil
HerrmannGuido SuTingli |
| Collana | Automation and control engineering |
| Soggetto topico |
Robust control
Automatic control Computer networks |
| ISBN |
1-351-83187-9
1-315-21598-5 1-4665-6955-7 |
| Classificazione | TEC007000TEC009070 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front Cover; Contents; List of Figures; List of Tables; List of Acronyms; Notation and Symbols; Preface; Author Biographies; 1. Introduction; 2. Control of plants with limited communication; 3. A general framework for NCS modeling; 4. Controllability and observability; 5. Communication sequence optimization; 6. Optimal controller and schedule codesign; 7. Optimal schedule design; 8. Robust schedule design; 9. Application to an automotive control system; 10. Schedule design for nonlinear NCSs; Bibliography |
| Record Nr. | UNINA-9910786226303321 |
|
Longo Stefano
|
||
| Boca Raton, Fla. : , : CRC Press, Taylor & Francis Group, , [2013] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Optimal and robust scheduling for networked control systems / / Stefano Longo, Tingli Su, Guido Herrmann, Phil Barber
| Optimal and robust scheduling for networked control systems / / Stefano Longo, Tingli Su, Guido Herrmann, Phil Barber |
| Autore | Longo Stefano |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Boca Raton, Fla., : Taylor & Francis, 2013 |
| Descrizione fisica | 1 online resource (277 p.) |
| Disciplina | 629.8/95 |
| Altri autori (Persone) |
BarberPhil
HerrmannGuido SuTingli |
| Collana | Automation and control engineering |
| Soggetto topico |
Robust control
Automatic control Computer networks |
| ISBN |
1-351-83187-9
1-315-21598-5 1-4665-6955-7 |
| Classificazione | TEC007000TEC009070 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front Cover; Contents; List of Figures; List of Tables; List of Acronyms; Notation and Symbols; Preface; Author Biographies; 1. Introduction; 2. Control of plants with limited communication; 3. A general framework for NCS modeling; 4. Controllability and observability; 5. Communication sequence optimization; 6. Optimal controller and schedule codesign; 7. Optimal schedule design; 8. Robust schedule design; 9. Application to an automotive control system; 10. Schedule design for nonlinear NCSs; Bibliography |
| Record Nr. | UNINA-9910953880203321 |
|
Longo Stefano
|
||
| Boca Raton, Fla., : Taylor & Francis, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the Nineteen Ninety-Four Joint Symposium on Computer-Aided Control System Design
| Proceedings of the Nineteen Ninety-Four Joint Symposium on Computer-Aided Control System Design |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 1994 |
| Disciplina | 629.8/95 |
| Altri autori (Persone) |
MattssonSven Erik
GrayJ. O. <1937-> CellierFrancois E |
| Soggetto topico |
Mechanical Engineering
Engineering & Applied Sciences Mechanical Engineering - General |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996209187603316 |
| [Place of publication not identified], : IEEE, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the Nineteen Ninety-Four Joint Symposium on Computer-Aided Control System Design
| Proceedings of the Nineteen Ninety-Four Joint Symposium on Computer-Aided Control System Design |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 1994 |
| Disciplina | 629.8/95 |
| Altri autori (Persone) |
MattssonSven Erik
GrayJ. O. <1937-> CellierFrançois E |
| Soggetto topico |
Mechanical Engineering
Engineering & Applied Sciences Mechanical Engineering - General |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910872761103321 |
| [Place of publication not identified], : IEEE, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
