|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2290 occurrences of 1346 keywords
|
|
|
Results
Found 10212 publication records. Showing 10212 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Joonki Hong, Vittal Prabhu |
Distributed Learning and Control for Manufacturing Systems Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Engineering of Intelligent Systems, 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001, Proceedings, pp. 582-591, 2001, Springer, 3-540-42219-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Ian R. Edmonds |
The Impact of Environmental Structure on the Evolutionary Trajectories of a Foraging Agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artificial Evolution ![In: Artificial Evolution, 5th International Conference, Evolution Artificielle, EA 2001, Le Creusot, France, October 29-31, 2001, Selected Papers, pp. 338-349, 2001, Springer, 3-540-43544-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Wassim A. Bedwani, Ossama M. Ismail |
Genetic Optimization of Variable Structure PID Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 26-29 June 2001, Beirut, Lebanon, pp. 27-30, 2001, IEEE Computer Society, 0-7695-1165-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Leonid V. Tsap |
Feedback From Video For Virtual Reality Navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Digital and Computational Video ![In: 2nd International Workshop on Digital and Computational Video (DCV 2001), 9 February 2001, Tampa, Florida, USA, pp. 158-163, 2001, IEEE Computer Society, 0-7695-1110-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Eric Monteith |
Genoa TIE, Advanced Boundary Controller Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 17th Annual Computer Security Applications Conference (ACSAC 2001), 11-14 December 2001, New Orleans, Louisiana, USA, pp. 74-82, 2001, IEEE Computer Society, 0-7695-1405-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Joan Carletta, Christos A. Papachristou, Mehrdad Nourani |
Detecting Undetectable Controller Faults Using Power Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France, pp. 723-728, 2000, IEEE Computer Society / ACM, 0-7695-0537-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Susan E. Torney |
Operations Assistants for Johnson Space Center's Mission Control Center. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAABS ![In: Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers, pp. 337-338, 2000, Springer, 3-540-42716-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Omid Shakernia, Shankar Sastry 0001, George J. Pappas |
Decidable Controller Synthesis for Classes of Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings, pp. 407-420, 2000, Springer, 3-540-67259-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Petr Pfeifer |
Multifunctional Programmable Single-Board CAN Monitoring Module. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field-Programmable Logic and Applications, The Roadmap to Reconfigurable Computing, 10th International Workshop, FPL 2000, Villach, Austria, August 27-30, 2000, Proceedings, pp. 163-168, 2000, Springer, 3-540-67899-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Student Papers, FPL2000, programmable device, ALTERA, FLEX6000, EPF6016, SJA1000, PC/104, CAN |
11 | Olivier Sigaud, Pierre Gérard |
Being Reactive by Exchanging Roles: An Empirical Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Balancing Reactivity and Social Deliberation in Multi-Agent Systems ![In: Balancing Reactivity and Social Deliberation in Multi-Agent Systems, From RoboCup to Real-World Applications (selected papers from the ECAI 2000 Workshop and additional contributions), pp. 150-174, 2000, Springer, 3-540-42327-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Fernando G. Gonzalez, Alicia Helton, Douglas Helton, Jeffrey S. Smith, Eileen Thompson, Gerry Walterscheild |
The design of a solid-state physical model of an automated system to be used as a test bed for control applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 32nd conference on Winter simulation, WSC 2000, Wyndham Palace Resort & Spa, Orlando, FL, USA, December 10-13, 2000, pp. 900-908, 2000, WSC, 0-7803-6582-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Hansoo Kim 0001, Chen Zhou 0006, Hua X. Du |
Virtual machines for message based, real-time and interactive simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 32nd conference on Winter simulation, WSC 2000, Wyndham Palace Resort & Spa, Orlando, FL, USA, December 10-13, 2000, pp. 1529-1532, 2000, WSC, 0-7803-6582-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Joseba Urzelai, Dario Floreano |
Evolutionary Robots with Fast Adaptive Behaviour in New Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICES ![In: Evolvable Systems: From Biology to Hardware, Third International Conference, ICES 2000, Edinburgh, Scotland, UK, April 17-19, 2000, Proceedings, pp. 241-251, 2000, Springer, 3-540-67338-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Martin Maierhofer, Christopher Bailey 0002 |
On ATM Cell Batching and Its Effects on Bus Arbitration in a Conventional Multimedia Server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 26th EUROMICRO 2000 Conference, Informatics: Inventing the Future, 5-7 September 2000, Maastricht, The Netherlands, pp. 2010-, 2000, IEEE Computer Society, 0-7695-0780-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Alan K. Mackworth |
Constraint-Based Agents: The ABC's of CBA's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings, pp. 1-10, 2000, Springer, 3-540-41053-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Orna Kupferman, P. Madhusudan, P. S. Thiagarajan, Moshe Y. Vardi |
Open Systems in Reactive Environments: Control and Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings, pp. 92-107, 2000, Springer, 3-540-67897-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Asim Roy |
A Theory of the Brain: There Are Parts of the Brain That Control Other Parts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN (2) ![In: Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks, IJCNN 2000, Neural Computing: New Challenges and Perspectives for the New Millennium, Como, Italy, July 24-27, 2000, Volume 2, pp. 81-86, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | George G. Lendaris, Larry Schultz, Thaddeus T. Shannon |
Adaptive Critic Design for Intelligent Steering and Speed Control of a 2-Axle Vehicle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN (3) ![In: Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks, IJCNN 2000, Neural Computing: New Challenges and Perspectives for the New Millennium, Como, Italy, July 24-27, 2000, Volume 3, pp. 73-78, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Dorian Suc, Ivan Bratko |
Problem Decomposition for Behavioural Cloning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML 2000, 11th European Conference on Machine Learning, Barcelona, Catalonia, Spain, May 31 - June 2, 2000, Proceedings, pp. 382-391, 2000, Springer, 3-540-67602-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Christoph Meinel, Christian Stangier |
Speeding Up Image Computation by Using RTL Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, Third International Conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings, pp. 443-454, 2000, Springer, 3-540-41219-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Jie Zhang 0005, A. Julian Morris |
Recurrent neuro-fuzzy networks for nonlinear process modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 10(2), pp. 313-326, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Deepak Shukla, Darren M. Dawson, Frank W. Paul |
Multiple neural-network-based adaptive controller using orthonormal activation function neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 10(6), pp. 1494-1501, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Danilo Beuche, Abdelaziz Guerrouat, Holger Papajewski, Wolfgang Schröder-Preikschat, Olaf Spinczyk, Ute Spinczyk |
The PURE Family of Object-Oriented Operating Systems for Deeply Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), May 2-5, 1999, Saint Malo, France, pp. 45-53, 1999, IEEE Computer Society, 0-7695-0207-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Christos A. Papachristou, Yusuf Alzazeri |
A Method of Distributed Controller Design for RTL Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1999 Design, Automation and Test in Europe (DATE '99), 9-12 March 1999, Munich, Germany, pp. 774-775, 1999, IEEE Computer Society / ACM, 0-7695-0078-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Sung I. Hong, Sally A. McKee, Maximo H. Salinas, Robert H. Klenke, James H. Aylor, William A. Wulf |
Access Order and Effective Bandwidth for Streams on a Direct Rambus Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: Proceedings of the Fifth International Symposium on High-Performance Computer Architecture, Orlando, FL, USA, January 9-12, 1999, pp. 80-89, 1999, IEEE Computer Society, 0-7695-0004-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Maged M. Michael, Ashwini K. Nanda |
Design and Performance of Directory Caches for Scalable Shared Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: Proceedings of the Fifth International Symposium on High-Performance Computer Architecture, Orlando, FL, USA, January 9-12, 1999, pp. 142-151, 1999, IEEE Computer Society, 0-7695-0004-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Kenneth Y. Yun |
Recent Advances in Asynchronous Design Methodologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 1999 Conference on Asia South Pacific Design Automation, Wanchai, Hong Kong, China, January 18-21, 1999, pp. 253-, 1999, IEEE Computer Society, 0-7803-5012-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Magnus Egerstedt, Tak-John Koo, Frank Hoffmann 0001, Shankar Sastry 0001 |
Path Planning and Flight Controller Scheduling for an Autonomous Helicopter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings, pp. 91-102, 1999, Springer, 3-540-65734-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Yixin Ni, Mak Lai On, Zhenyu Huang 0001, Shousun Chen, Baolin Zhang |
Fuzzy logic damping controller for FACTS devices in interconnected power systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30 - June 2, 1999, pp. 591-594, 1999, IEEE, 0-7803-5471-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Sridevi Lingamarla, Gautam B. Singh, John Limburg, Mary Watson, Gary Edwards, Scott Gobrogge |
System for Automated Validation of Embedded Software in Multiple Operating Configurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999, pp. 323-326, 1999, IEEE Computer Society, 0-7695-0415-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Requirement Validation Traceability, Embedded Systems, Requirement Engineering, Data Warehousing |
11 | Michael Mahemoff, Lorraine Johnston |
Handling Multiple Domain Objects with Model-View-Controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (32) ![In: TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 22-25 November 1999, Melbourne, Australia, pp. 28-39, 1999, IEEE Computer Society, 0-7695-0462-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
User-InterfaceArchitecture, Model-View-Controller (MVC), Object-Oriented Architecture |
11 | Adrian Trenaman |
Concurrent Genetic Programming, Tartarus and Dancing Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroGP ![In: Genetic Programming, Second European Workshop, Göteborg, Sweden, May 26-27, 1999, Proceedings, pp. 270-282, 1999, Springer, 3-540-65899-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Franck Multon, Jean-Luc Nougaret, Gérard Hégron, Luc Millet, Bruno Arnaldi |
A Software System to Carry-out Virtual Experiments on Human Motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CA ![In: Computer Animation 1999, CA 1999, Geneva, Switzerland, May 26-28, 1999, pp. 16-23, 1999, IEEE Computer Society, 0-7695-0167-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Si Wu 0001, K. Y. Michael Wong |
Dynamic overload control for distributed call processors using the neural network method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 9(6), pp. 1377-1387, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Kalyanmoy Deb, Dilip Kumar Pratihar, Amitabha Ghosh |
Learning to Avoid Moving Obstacles Optimally for Mobile Robots Using a Genetic-Fuzzy Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN V, 5th International Conference, Amsterdam, The Netherlands, September 27-30, 1998, Proceedings, pp. 583-592, 1998, Springer, 3-540-65078-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Vikram Prabhu, Thomas W. Kennedy |
Service management applied to air traffic control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: 1998 Network Operations and Management Symposium, NOMS 98, New Orleans, LA, USA, February 15-20, 1998. Proceedings, pp. 267-275, 1998, IEEE, 0-7803-4352-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | M. W. Chen, Ali M. S. Zalzala |
Neural Network Based Motion Control and Applications to Non-holonomic Mobile Manipulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI'98, Topics in Artificial Intelligence, 5th Pacific Rim International Conference on Artificial Intelligence, Singapore, November 22-27, 1998, Proceedings, pp. 353-364, 1998, Springer, 3-540-65271-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Yu Zhang, Alan K. Mackworth |
A Multi-Level Constraint-Based Controller for the Dynamo98 Robot Soccer Team. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup-98: Robot Soccer World Cup II, pp. 402-409, 1998, Springer, 3-540-66320-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Jean-Philippe Urban, Jean-Luc Buessler, Julien Gresser |
Hidden partitioning of a visual feedback-based neuro-controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (3) ![In: Knowledge-Based Intelligent Electronic Systems, 2nd International Conference, KES 1998, Adelaide, South Australia, 21-23 April 1998, Proceedings, Part III, pp. 53-60, 1998, IEEE. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Enrico Macii, Bernard Plessier, Fabio Somenzi |
Formal verification of digital systems by automatic reduction of data paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16(10), pp. 1136-1156, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Piero P. Bonissone |
Soft computing: the convergence of emerging reasoning technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 1(1), pp. 6-18, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
evolutionary systems, neural networks, hybrid systems, fuzzy systems, Soft computing |
11 | Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi |
HYTECH: A Model Checker for Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings, pp. 460-463, 1997, Springer, 3-540-63166-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Kevin Lano, Arturo Sanchez |
Design of Reactive Control Systems for Event-Drivem Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings, pp. 142-161, 1997, Springer, 3-540-63533-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Jordan Bonney, Ranga S. Ramanujan, Atiq Ahamad, Siddhartha Takkella, Kenneth J. Thurber |
Distributed Hardware Support for Process Synchronization in NSM Workstation Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CANPC ![In: Communication and Architectural Support for Network-Based Parallel Computing, First International Workshop, CANPC '97, San Antonio, Texas, USA, February 1-2, 1997, Proceedings, pp. 144-157, 1997, Springer, 3-540-62573-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Gerhard Schrott |
Reactive Real-Time Programming with Distributed Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings, pp. 1236-1243, 1997, Springer, 3-540-63440-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Chih-Tung Chen, Kayhan Küçükçakar |
High-level scheduling model and control synthesis for a broad range of design applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1997, San Jose, CA, USA, November 9-13, 1997, pp. 236-243, 1997, IEEE Computer Society / ACM, 0-8186-8200-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
multi-phase clocking, relative scheduling, architectural power optimization, high-level synthesis, pipelining, multi-threading, behavioral synthesis, control synthesis, architectural synthesis, scheduling model |
11 | Thomas Doersam, T. Fischer |
Aspects of controlling a multifingered gripper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Electronic Systems, 1st International Conference, KES 1997, Adelaide, South Australia, 21-23 May, 1997, Proceedings, Part I, pp. 193-199, 1997, IEEE, 0-7803-3755-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Tapio Rauma |
Diagnosis information in meta-rule adaptive fuzzy systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 23rd EUROMICRO Conference '97, New Frontiers of Information Technology, 1-4 September 1997, Budapest, Hungary, pp. 564-, 1997, IEEE Computer Society, 0-8186-8129-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
diagnostic information, meta-rule adaptive fuzzy systems, control system adaptation methods, fault diagnosis information, controller parameterization, damage, changing environment, process behavior, device behavior, intelligent techniques, fuzzy logic, fault diagnosis, knowledge engineering, controller performance |
11 | Gordon G. Parker, Daniel J. Segalman, Rush D. Robinett III, Daniel J. Inman |
Decentralized sliding mode control for flexible link robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 17(1), pp. 61-79, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
robot control, sliding mode control, flexible links |
11 | Alan S. Morris, Seddik Khemaissia |
A neural network based adaptive robot controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 15(1), pp. 3-10, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
adaptive robot control, recursive prediction error, Neural networks |
11 | Mohamed Dekhil, Tarek M. Sobh, Thomas C. Henderson, Robert Mecklenburg |
UPE: Utah prototyping environment for robot manipulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 17(1), pp. 31-60, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Robot design, prototyping, object-oriented design, concurrent engineering |
11 | Julia A. Olkin, Paul J. Titterton |
Using semi-definite programming for multi-constrainedH2 controller design in active noise and vibration control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 14(1), pp. 57-66, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
11 | A. Tascillo |
Diagnostic neural adaptive control of drifting systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 14(3), pp. 303-321, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Neural networks, fuzzy logic, object recognition, hierarchical control, redundant robots |
11 | Oliver F. Haberl, Thomas Kropf |
HIST: A hierarchical self test methodology for chips, boards, and systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 6(1), pp. 85-106, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Boundary-scan architecture, hierarchical self test, self test synthesis, built-in self test (BIST), system test |
11 | Luís Gomes 0001, Adolfo Steiger-Garção |
Programmable Controller Design based on a Synchronized Colored Petri Net Model and Integrated Fuzzy Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings, pp. 218-237, 1995, Springer, 3-540-60029-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Marie-Christine Bressolle, Bernard Pavard, Marcel Leroux |
The Role of Multimodal Communication in Cooperation: The Cases of Air Traffic Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multimodal Human-Computer Communication ![In: Multimodal Human-Computer Communication, Systems, Techniques, and Experiments, pp. 326-343, 1995, Springer, 3-540-64380-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Ryszard Klempous, Barbara Lysakowska, Jan Nikodem |
Supervisory Control and Data Acquisition System for the Gas Flow Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'95, A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995, Proceedings, pp. 530-538, 1995, Springer, 3-540-60748-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
11 | Chandramohan A. Thekkath, Henry M. Levy |
Limits to Low-Latency Communication on High-Speed Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 11(2), pp. 179-203, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
host-network interfaces, transport level protocols, ATM networks, remote procedure calls, interprocess communication |
11 | Bernhard Eschermann |
Enhancing on-line testability during synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 4(1), pp. 105-116, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
BIST, synthesis for testability, control flow checking, controller synthesis |
11 | Juan R. Pimentel, Diego Gachet, Luis Moreno 0001, Miguel Angel Salichs |
On-line Performance Enhancement of a Behavioral Neural Network Controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN ![In: New Trends in Neural Computation, International Workshop on Artificial Neural Networks, IWANN '93, Sitges, Spain, June 9-11, 1993, Proceedings, pp. 694-701, 1993, Springer, 3-540-56798-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Lars Björnfot, Lars Asplund, Kristina Lundqvist, Göran Wall |
Distributed Run-Time Systems, a Protocol for Ada. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Ada-Europe '93, 12th Ada-Europe International Conference, Ada Sans Frontières, Paris, France, June 14-18, 1993, Proceedings, pp. 249-263, 1993, Springer, 3-540-56802-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
11 | Pedro Albertos |
Input-Output Model For Unconventional Samped-Data Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'91, A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, April 15-19, 1991, Proceedings, pp. 614-625, 1991, Springer, 3-540-55354-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Sampled-data Control Systems, Periodic control, Multirate Control, Delayed sampling, Disturbance rejection, Systems Theory |
11 | Rainer Amann, Utz G. Baitinger |
Optimal state chains and state codes in finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 8(2), pp. 153-170, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
11 | Imrich Chlamtac, Alex Herman |
An Ethernet compatible low cost/high performance communication solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 17(5), pp. 369-380, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Ethernet |
8 | Pol Mestres, Kehan Long, Nikolay Atanasov 0001, Jorge Cortés 0001 |
Feasibility Analysis and Regularity Characterization of Distributionally Robust Safe Stabilizing Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 8, pp. 91-96, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | George Papadopoulos 0006, Alevizos Bastas, George A. Vouros, Ian Crook, Natalia V. Andrienko, Gennady L. Andrienko, Jose Manuel Cordero Garcia |
Deep reinforcement learning in service of air traffic controllers to resolve tactical conflicts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 236, pp. 121234, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Hamidreza Mosaddegh Hesar, Xiaodong Liang, Mohammad Ali Salahmanesh, Mojtaba Ayaz Khoshhava, Salman Abdi |
Vector Control of Brushless Doubly-Fed Induction Machines Based on Highly Efficient Nonlinear Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 71(6), pp. 5641-5652, June 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | João Madeiras, Carlos B. Cardeira, Paulo Oliveira 0001 |
Position and Attitude Tracking Controllers Using Lyapunov Transformations for Quadrotors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 110(1), pp. 9, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | C. Pavithra, Vidhyareni S, Vijayadharshini M, Shree Akshaya K. B, Varsha N |
Comparison of Solar P&O and FLC-based MPPT Controllers & Analysis under Dynamic Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAI Endorsed Trans. Energy Web ![In: EAI Endorsed Trans. Energy Web 11, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Mohammad J. Abdel-Rahman, Emadeldin A. Mazied, Fahid Hassan, Kory Teague, Allen B. MacKenzie, Scott F. Midkiff, Kleber V. Cardoso, Dimitrios S. Nikolopoulos |
On Robust Optimal Joint Deployment and Assignment of RAN Intelligent Controllers in O-RANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Open J. Commun. Soc. ![In: IEEE Open J. Commun. Soc. 5, pp. 2358-2376, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Bruno Sousa, Carolina Gonçalves |
FedAAA-SDN: Federated Authentication, Authorization and Accounting in SDN controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 239, pp. 110130, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Ahmed Moreab Hussien, Hany M. Hasanien, Mohammed H. Qais, Saad M. Alghuwainem |
Hybrid Transient Search Algorithm With Levy Flight for Optimal PI Controllers of Islanded Microgrids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 15075-15092, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Mourad Yessef, Habib Benbouhenni, Mohammed Taoussi, Ahmed Lagrioui, Ilhami Colak, Badre Bossoufi, Thamer A. H. Alghamdi |
Experimental Validation of Feedback PI Controllers for Multi-Rotor Wind Energy Conversion Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 7071-7088, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Joonhyouk Jang, Minho Park, Jiman Hong |
Hybrid booting with incremental hibernation for the baseboard management controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 80(6), pp. 8485-8504, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | S. Deepanjali, S. K. Noor Mahammad |
A twofold bio-inspired system for mitigating SEUs in the controllers of digital system deployed on FPGA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 80(7), pp. 9438-9470, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Bineet Ghosh, Clara Hobbs, Shengjie Xu, F. Donelson Smith, James H. Anderson, P. S. Thiagarajan, Benjamin Berg, Parasara Sridhar Duggirala, Samarjit Chakraborty |
Statistical verification of autonomous system controllers under timing uncertainties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 60(1), pp. 108-149, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Weibing Li, Yanying Zou, Xin Ma, Binbin Qiu, Dongsheng Guo |
Novel Neural Controllers for Kinematic Redundancy Resolution of Joint-Constrained Gough-Stewart Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 20(3), pp. 4559-4570, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Meixia Fu, Zhenqian Wang, Jianquan Wang, Qu Wang, Zhangchao Ma, Danshi Wang |
Multicrane Visual Sorting System Based on Deep Learning With Virtualized Programmable Logic Controllers in Industrial Internet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 20(3), pp. 3726-3737, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | You-Chiun Wang, Pin-Yu Su |
Collaborative Defense Against Hybrid Network Attacks by SDN Controllers and P4 Switches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Netw. Sci. Eng. ![In: IEEE Trans. Netw. Sci. Eng. 11(2), pp. 1480-1495, March - April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Antonio Visioli, José Sánchez Moreno |
A relay-feedback automatic tuning methodology of PIDA controllers for high-order processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Control ![In: Int. J. Control 97(1), pp. 51-58, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Oscar Miguel-Escrig, Julio-Ariel Romero-Pérez |
Event-based discrete PI controllers robustness analysis through sampled describing function technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Control ![In: Int. J. Control 97(1), pp. 86-100, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Roberto Sanchis 0001, Oscar Miguel-Escrig, Julio-Ariel Romero-Pérez |
Experimental tuning of PI controllers with symmetric send-on-delta sampling from the step response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Control ![In: Int. J. Control 97(1), pp. 101-110, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Xiaofei Wang, Jing Jin 0005, Xiaoming Liu 0008, Hui Wang 0023, Huzhi Tang, Chao Yang, Yuekang Guo, Tingting Mo, Jianjun Zhou |
A 0.83-pJ/b 20-Gb/s/Pin Single-Ended Transceiver With AC/DC-Coupled Pre-Emphasis FFE and Edge-Dependent Phase-Modulation DFE for Low-Power Memory Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 71(2), pp. 560-572, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Mart Kartasev, Petter Ögren |
Improving the Performance of Learned Controllers in Behavior Trees Using Value Function Estimates at Switching Boundaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 9(5), pp. 4647-4654, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Chunbiao Li, Yikai Gao, Tengfei Lei, Rita Yi Man Li, Yuanxiao Xu |
Two Independent Offset Controllers in a Three-Dimensional Chaotic System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 34(1), pp. 2450008:1-2450008:13, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Jinbao Song, Xuxi Zhang |
Observer-based adaptive controllers for Lur'e multi-agent systems with a dynamic leader. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Sci. ![In: Int. J. Syst. Sci. 55(1), pp. 33-48, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Le Chang, Xiaohua Ge, Derui Ding, Cheng Fu |
Stabilization for a Class of Feedforward Nonlinear Systems via Pulsewidth-Modulated Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 69(3), pp. 2075-2082, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Prashanth Krishnamurthy, Farshad Khorrami |
A Matrix Pencil Formulation for Nonconservative Realization of Scaling-Based Controllers for Feedforward-Like Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 69(1), pp. 261-274, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Bingzhuo Zhong, Majid Zamani 0001, Marco Caccamo |
Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 69(1), pp. 214-229, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Pankaj Mohindru |
Review on PID, fuzzy and hybrid fuzzy PID controllers for controlling non-linear dynamic behaviour of chemical plants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 57(4), pp. 97, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Jie Pan 0008, Dongyue Li, Jian Wang 0064, Pengfei Zhang, Jinyan Shao, Junzhi Yu |
Autogeneration of Mission-Oriented Robot Controllers Using Bayesian-Based Koopman Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 40, pp. 903-918, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Mrdjan Jankovic, Mario A. Santillo, Yan Wang 0075 |
Multiagent Systems With CBF-Based Controllers: Collision Avoidance and Liveness From Instability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Control. Syst. Technol. ![In: IEEE Trans. Control. Syst. Technol. 32(2), pp. 705-712, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Mohammad Nowsin Amin Sheikh, I-Shyan Hwang, Muhammad Saibtain Raza, Mohammad Syuhaimi Ab-Rahman |
A Qualitative and Comparative Performance Assessment of Logically Centralized SDN Controllers via Mininet Emulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 13(4), pp. 85, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Samuel Teuber, Stefan Mitsch, André Platzer |
Provably Safe Neural Network Controllers via Differential Dynamic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.10998, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Shiva Kumar Tekumatla, Varun Gampa, Siavash Farzan |
Learning-Based Design of Off-Policy Gaussian Controllers: Integrating Model Predictive Control and Gaussian Process Regression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.10932, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Thao Dang 0001, Alexandre Donzé, Inzemamul Haque, Nikolaos Kekatos, Indranil Saha |
Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.16593, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Gargya Gokhale, Seyed Soroush Karimi Madahi, Bert Claessens, Chris Develder |
Distill2Explain: Differentiable decision trees for explainable reinforcement learning in energy application controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.11907, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Rafael Vázquez, Miroslav Krstic |
Gain-Only Neural Operator Approximators of PDE Backstepping Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.19344, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Zhiang Li, Daisuke Mashima, Wen Shei Ong, Ertem Esiner, Zbigniew Kalbarczyk, Ee-Chien Chang |
On Practicality of Using ARM TrustZone Trusted Execution Environment for Securing Programmable Logic Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.05448, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
8 | Marc Carwehl, Calum Imrie, Thomas Vogel 0001, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske |
Formal Synthesis of Uncertainty Reduction Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.17187, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
|
|