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 [[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 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 | ||
| ||
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-> 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. | UNINA-9910872761103321 |
| [Place of publication not identified], : IEEE, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming 16-bit PIC microcontrollers in C : learning to fly the PIC 24 / / Lucio Di Jasio
| Programming 16-bit PIC microcontrollers in C : learning to fly the PIC 24 / / Lucio Di Jasio |
| Autore | Di Jasio Lucio |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Oxford, : Elsevier, 2012 |
| Descrizione fisica | 1 online resource (415 p.) |
| Disciplina |
005.1
629.8/95 |
| Collana | Embedded Technology |
| Soggetto topico |
C (Computer program language)
Microprocessors - Programming |
| ISBN |
9786613348234
9781283348232 1283348233 9781856178716 1856178714 9781856178709 1856178706 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Programming 16-Bit PIC Microcontrollers in C; Copyright Page; Contents; Preface; Introduction to the Second Edition; Introduction; Who Should Read this Book?; Structure of the Book; What This Book Is Not; Checklists; I: First Flights; 1: The First Flight; Flight Plan; Preflight Checklist; The Flight; Compiling and Linking; Debugging the First Project; Port Initialization; Re-Testing PortA; Configuring the PIC24; Testing PortB; Analog vs Digital Pin Control; Post-Flight Briefing; Notes for the Assembly Experts; Notes for the PIC Microcontroller Experts; Notes for the C Experts
Tips & TricksExercises; Books; Links; 2: A Loop in the Pattern; Flight Plan; Preflight Checklist; The Flight; While Loops; Animation; Not So Fast, Please!; Post-Flight Briefing; Notes for the Assembly Experts; Notes for the PIC® Microcontroller Experts; Notes for the C Experts; Tips & Tricks; Exercises; Books; Links; 3: More Pattern Work, More Loops; Flight Plan; Preflight Checklist; The Flight; do Loops; Variable Declarations; for Loops; More Loop Examples; Arrays; Sending a Message; Post-Flight Briefing; Notes for the Assembly Experts; Notes for the PIC® Microcontroller Experts Notes for the C ExpertsTips & Tricks; Notes for PIC24 GA1 and GB1 Users; Exercises; Books; Links; 4: Numb3rs; Flight Plan; Preflight Checklist; The Flight; Going Long; Long Long Multiplications; Floating Point; Notes for the C Experts; Measuring Performance; Post-Flight Briefing; Notes for the Assembly Experts; Notes for the PIC® Microcontroller Experts; Tips & Tricks; Math Libraries; Complex Data Types; Exercises; Books; Links; 5: Interrupts; Flight Plan; Preflight Checklist; The Flight; Nesting of Interrupts; Traps; Trap Vector Details; A Template and an Example for a Timer1 Interrupt A Real Example with Timer1Testing the Timer1 Interrupt; The Secondary Oscillator; The Real-Time Clock Calendar (RTCC); Managing Multiple Interrupts; Post-Flight Briefing; Notes for the C Experts; Notes for the Assembly Experts; Notes for the PIC Microcontroller Experts; Tips & Tricks; Exercises; Books; Links; 6: Taking a Look Under the Hood; Flight Plan; Preflight Checklist; The Flight; Memory Space Allocation; Program Space Visibility; Investigating Memory Allocation; Looking at the Map; Pointers; The Heap; MPLAB C Memory Models; Post-Flight Briefing; Notes for the C Experts Notes for the Assembly ExpertsNotes for the PIC Microcontroller Experts; Tips & Tricks; Exercises; Books; Links; II: Flying "Solo"; 7: Synchronous Communication; Flight Plan; Preflight Checklist; The Flight; Synchronous Serial Interfaces; Asynchronous Serial Interfaces; Synchronous Communication Using the SPI Modules; Testing the Read Status Register Command; Writing to the EEPROM; Reading the Memory Contents; A Non-Volatile Storage Library; Testing the New SEE Library Module; The I2C Interface; I2C Data Transfer Rules; I2C Serial EEPROMs; Talking to I2C Serial EEPROMs; Forming Commands The SEE Grammar |
| Altri titoli varianti | Programming sixteen-bit PIC microcontrollers in C |
| Record Nr. | UNINA-9911006574403321 |
|
Di Jasio Lucio
|
||
| Oxford, : Elsevier, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||