39 results on '"Tasuku Ishigooka"'
Search Results
2. Engineering Dynamic Risk and Capability Models to Improve Cooperation Efficiency Between Human Workers and Autonomous Mobile Robots in Shared Spaces.
3. A Middleware Protocol for Time-Critical Wireless Communication of Large Data Samples.
4. Concept for Safe Interaction of Driverless Industrial Trucks and Humans in Shared Areas.
5. Safe Interaction of Automated Forklifts and Humans at Blind Corners in a Warehouse with Infrastructure Sensors.
6. Dependable and Efficient Cloud-Based Safety-Critical Applications by Example of Automated Valet Parking.
7. Heuristic Contention-Free Scheduling Algorithm for Multi-core Processor using LET Model.
8. Symbiotic Safety: Safe and Efficient Human-Machine Collaboration by utilizing Rules.
9. Engineering and Hardening of Functional Fail-Operational Architectures for Highly Automated Driving.
10. Graceful Degradation Design Process for Autonomous Driving System.
11. Multi-rate DAG Scheduling Considering Communication Contention for NoC-based Embedded Many-core Processor.
12. DAG Scheduling Algorithm for a Cluster-Based Many-Core Architecture.
13. Cost-Effective Redundancy Approach for Fail-Operational Autonomous Driving System.
14. Data-Age Analysis and Optimisation for Cause-Effect Chains in Automotive Control Systems.
15. Multi-aspect Safety Engineering for Highly Automated Driving - Looking Beyond Functional Safety and Established Standards and Methodologies.
16. Anomaly Prediction Based on Machine Learning for Memory-Constrained Devices.
17. Extension of Logical Execution Time Paradigm and Prototype Evaluation on AUTOSAR Adaptive Platform.
18. Practical Formal Verification for Model Based Development of Cyber-Physical Systems.
19. Safety Verification Utilizing Model-based Development for Safety Critical Cyber-Physical Systems.
20. Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study.
21. Dynamic Activation Timing Configuration for Product Line Development.
22. A Distributed Computing Environment for Embedded Control Systems with Time-Triggered and Event-Triggered Processing.
23. A Time-Triggered Distributed Object Computing Environment for Embedded Control Systems.
24. Concept for Safe Interaction of Driverless Industrial Trucks and Humans in Shared Areas
25. Anomaly Prediction Based on Machine Learning for Memory-Constrained Devices
26. Dependable and Efficient Cloud-Based Safety-Critical Applications by Example of Automated Valet Parking
27. Safe Interaction of Automated Forklifts and Humans at Blind Corners in a Warehouse with Infrastructure Sensors
28. Heuristic Contention-Free Scheduling Algorithm for Multi-core Processor using LET Model
29. Runtime Active Safety Risk-Assessment of Highly Autonomous Vehicles for Safe Nominal Behavior
30. Multi-rate DAG Scheduling Considering Communication Contention for NoC-based Embedded Many-core Processor
31. Engineering and Hardening of Functional Fail-Operational Architectures for Highly Automated Driving
32. Safety Verification Utilizing Model-based Development for Safety Critical Cyber-Physical Systems
33. Graceful Degradation Design Process for Autonomous Driving System
34. Multi-aspect Safety Engineering for Highly Automated Driving
35. Data-Age Analysis and Optimisation for Cause-Effect Chains in Automotive Control Systems
36. Practical Formal Verification for Model Based Development of Cyber-Physical Systems
37. Message Packing Algorithm for CAN-Based Legacy Control Systems Mixed with CAN and FlexRay
38. Practical Use of Formal Verification for Safety Critical Cyber-Physical Systems: A Case Study
39. CAN Security: Cost-Effective Intrusion Detection for Real-Time Control Systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.