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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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. | UNINA-9910130565503321 |
[Place of publication not identified], : IEEE, 2012 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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. | UNINA-9910144920503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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-9910817260003321 |
Longo Stefano
![]() |
||
Boca Raton, Fla. : , : CRC Press, Taylor & Francis Group, , [2013] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Real-time systems [[electronic resource] ] : implementation of industrial computerised process automation / / Wolfgang A. Halang, Krzysztof M. Sacha, with contributions by Marek Drozdz ... [et al.] |
Autore | Halang Wolfgang A. <1951-> |
Pubbl/distr/stampa | Singapore ; ; River Edge, NJ, : World Scientific, c1992 |
Descrizione fisica | 1 online resource (379 p.) |
Disciplina | 629.8/95 |
Altri autori (Persone) | SachaKrzysztof M |
Soggetto topico |
Real-time data processing
Process control - Automation |
Soggetto genere / forma | Electronic books. |
ISBN |
1-283-97141-0
981-281-246-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Contents; Preface; List of Figures; List of Tables; Authors; Chapter 1 Real-Time Computing and Industrial Process Automation; 1.1 Introduction; 1.2 Industrial Control Systems; 1.3 Example: A Chemical Process; 1.4 Historical Perspective; Chapter 2 Conceptual Foundations; 2.1 Real-Time System Characteristics; 2.2 Continuous and Discrete Time; 2.3 Engineering Approach to Hard Real-TimeSystem Design; Chapter 3 Digital Control of Continuous Processes; 3.1 Introduction; 3.2 Linear System Theory; 3.3 Control System Analysis and Design; 3.4 Digitising Analogue Signals; 3.5 New Developments
Chapter 4 Hardware Architectures4.1 Classical Process Automation; 4.2 Centralised Direct Digital Control; 4.3 Redundant Configurations; 4.4 Multi-Level Control Systems; 4.5 Network..flased Distributed Systems; 5.3 Analogue Outputs; 5.4 Analogue Inputs; 5.5 Serial Interface; Chapter 6 Communication Networks; 6.1 Network Architecture; 6.2 LAN Technology; 6.3 LAN Medium Access Control; 6.4 LAN Logical Link Control; 6.5 MAP /TOP Protocol; Chapter 7 Real-Time Operating Systems Principles; 7.1 Operating System Requirements; 7.2 Synchronous and Asynchronous Task Execution 7.3 Multi-Tasking7.4 Task Synchronisation and Communication; 7.5 Time and Event Handling; 7.6 Distributed Operating Systems; Chapter 8 Comparison of Some Real-Time Operating Systems; 8.1 System iRMX88; 8.2 System iRMX; 8.3 System QNX; 8.4 System PORTOS; 8.5 Comparison of Real-Time Operating Systems; Chapter 9 High Level Real-Time Programming; 9.1 Real-Time Features in High Level Languages; 9.2 A Closer Look at Ada and PEARL; 9.3 Requirements for New High Level LanguageFeatures; 9.4 High-Integrity PEARL; 9.5 Advanced Features of High-Integrity PEARL Chapter 10 Schedulability Analysis10.1 Schedulability Analyser; 10.2 Front-End of the Schedulability Analyser; 10.2.1 A Segment Tree Example; 10.2.2 Front-End Statistics; 10.3 Back-End of the Schedulability Analyser; 10.4 Program Transformation; 10.5 Empirical Evaluation; Chapter 11 System and Software Life Cycle; 11.1 System Development; 11.2 Software Life Cycle; 11.3 Software Development Economy; 11.4 Classical Software Development Methods; 11.5 Prototyping; 11.6 Object-Oriented Development; 11.7 Transformational Implementation; 11.8 Evaluation of the Development Paradigms Chapter 12 Software Quality Assurance12.1 Software Quality Assurance Planning; 12.2 Reviews and Audits; 12.3 Structured Walkthrough and Inspections; 12.4 Software Testing; Chapter 13 Computer Aided Software Engineering Tools; 13.1 Software Development Environments; 13.2 The EPOS System; 3.3 Example: A Chemical Process; Chapter 14 Formal Specification and Verification Methods; 14.1 Introduction; 14.2 Sequential and Parallel Descri ption; 14.3 Petri Nets; 14.4 Properties of Petri Nets; 14.5 Temporal Logic; 14.6 Correctness Verification Using Temporal Logic Chapter 15 Programmable Logic Controllers |
Record Nr. | UNINA-9910463225903321 |
Halang Wolfgang A. <1951->
![]() |
||
Singapore ; ; River Edge, NJ, : World Scientific, c1992 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Real-time systems [[electronic resource] ] : implementation of industrial computerised process automation / / Wolfgang A. Halang, Krzysztof M. Sacha, with contributions by Marek Drozdz ... [et al.] |
Autore | Halang Wolfgang A. <1951-> |
Pubbl/distr/stampa | Singapore ; ; River Edge, NJ, : World Scientific, c1992 |
Descrizione fisica | 1 online resource (379 p.) |
Disciplina | 629.8/95 |
Altri autori (Persone) | SachaKrzysztof M |
Soggetto topico |
Real-time data processing
Process control - Automation |
ISBN |
1-283-97141-0
981-281-246-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Contents; Preface; List of Figures; List of Tables; Authors; Chapter 1 Real-Time Computing and Industrial Process Automation; 1.1 Introduction; 1.2 Industrial Control Systems; 1.3 Example: A Chemical Process; 1.4 Historical Perspective; Chapter 2 Conceptual Foundations; 2.1 Real-Time System Characteristics; 2.2 Continuous and Discrete Time; 2.3 Engineering Approach to Hard Real-TimeSystem Design; Chapter 3 Digital Control of Continuous Processes; 3.1 Introduction; 3.2 Linear System Theory; 3.3 Control System Analysis and Design; 3.4 Digitising Analogue Signals; 3.5 New Developments
Chapter 4 Hardware Architectures4.1 Classical Process Automation; 4.2 Centralised Direct Digital Control; 4.3 Redundant Configurations; 4.4 Multi-Level Control Systems; 4.5 Network..flased Distributed Systems; 5.3 Analogue Outputs; 5.4 Analogue Inputs; 5.5 Serial Interface; Chapter 6 Communication Networks; 6.1 Network Architecture; 6.2 LAN Technology; 6.3 LAN Medium Access Control; 6.4 LAN Logical Link Control; 6.5 MAP /TOP Protocol; Chapter 7 Real-Time Operating Systems Principles; 7.1 Operating System Requirements; 7.2 Synchronous and Asynchronous Task Execution 7.3 Multi-Tasking7.4 Task Synchronisation and Communication; 7.5 Time and Event Handling; 7.6 Distributed Operating Systems; Chapter 8 Comparison of Some Real-Time Operating Systems; 8.1 System iRMX88; 8.2 System iRMX; 8.3 System QNX; 8.4 System PORTOS; 8.5 Comparison of Real-Time Operating Systems; Chapter 9 High Level Real-Time Programming; 9.1 Real-Time Features in High Level Languages; 9.2 A Closer Look at Ada and PEARL; 9.3 Requirements for New High Level LanguageFeatures; 9.4 High-Integrity PEARL; 9.5 Advanced Features of High-Integrity PEARL Chapter 10 Schedulability Analysis10.1 Schedulability Analyser; 10.2 Front-End of the Schedulability Analyser; 10.2.1 A Segment Tree Example; 10.2.2 Front-End Statistics; 10.3 Back-End of the Schedulability Analyser; 10.4 Program Transformation; 10.5 Empirical Evaluation; Chapter 11 System and Software Life Cycle; 11.1 System Development; 11.2 Software Life Cycle; 11.3 Software Development Economy; 11.4 Classical Software Development Methods; 11.5 Prototyping; 11.6 Object-Oriented Development; 11.7 Transformational Implementation; 11.8 Evaluation of the Development Paradigms Chapter 12 Software Quality Assurance12.1 Software Quality Assurance Planning; 12.2 Reviews and Audits; 12.3 Structured Walkthrough and Inspections; 12.4 Software Testing; Chapter 13 Computer Aided Software Engineering Tools; 13.1 Software Development Environments; 13.2 The EPOS System; 3.3 Example: A Chemical Process; Chapter 14 Formal Specification and Verification Methods; 14.1 Introduction; 14.2 Sequential and Parallel Descri ption; 14.3 Petri Nets; 14.4 Properties of Petri Nets; 14.5 Temporal Logic; 14.6 Correctness Verification Using Temporal Logic Chapter 15 Programmable Logic Controllers |
Record Nr. | UNINA-9910786026903321 |
Halang Wolfgang A. <1951->
![]() |
||
Singapore ; ; River Edge, NJ, : World Scientific, c1992 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|