about
A case study for the verification of complex timed circuits: IPCMOSA structural encoding technique for the synthesis of asynchronous circuitsSymbolic analysis of bounded Petri netsFormal verification of safety properties in timed circuitsDecomposition and technology mapping of speed-independent circuits using Boolean relationsStructural Methods to Improve the Symbolic Analysis of Petri NetsEfficient encoding schemes for symbolic analysis of Petri netsStructural methods for the synthesis of speed-independent circuitsIntegration of SAA Capabilities into a UAS Distributed Architecture for Civil ApplicationsRemote Flight Inspection Using Unmanned AircraftReal-Time Data Processing for the Airborne Detection of Hot SpotsReconfigurable automated behavior for UAS applicationsFlight Plan Specification and Management for Unmanned Aircraft SystemsIn-Flight Contingency Management for Unmanned Aerial VehiclesArchitecture for a helicopter-based unmanned aerial systems wildfire surveillance systemAutopilot Abstraction and Standardization for Seamless Integration of Unmanned Aircraft System ApplicationsWildfire monitoring using a mixed air-ground mobile networkHelicopter-based wildfire monitoring system software architectureOn the design of a UAS flight plan monitoring and edition systemA telemetry modeling for intelligent UAV monitoringNextGen trajectory approaches with air-air negotiation protocolRed-Eye: A Helicopter-based architecture for tactical wildfire monitoring strategiesA middleware architecture for unmanned aircraft avionicsFlexible ELectrical Manager Service for UAS applications developmentModular avionics for seamless reconfigurable UAS missionsIncreasing UAV capabilities through autopilot and flight plan abstractionRequirements, Issues, and Challenges for Sense and Avoid in Unmanned Aircraft SystemsDeparture and Approach procedures for Unammed Aircraft Systems in a Visual-Flight-Rule EnvironmentUAS pilot support for departure, approach and airfield operationsEnabling leg-based guidance on top of waypoint-based autopilots for UASRemotely Piloted Aircraft Systems and a Wireless Sensors Network for Radiological AccidentsAn Unmanned Aircraft System to Detect a Radiological Point Source Using RIMA Software ArchitectureA Macroscopic Performance Analysis of NASA’s Northrop Grumman RQ-4AHardware Design of a Small UAS Helicopter for Remote Sensing OperationsDevelopment of a small UAS helicopter for remote sensing operationsPaired T-test analysis to measure the efficiency impact of a flying RPAS in the non-segregated airspaceA methodology for measuring the impact on flight inefficiency of future RPAS operationsA NEW TECHNIQUE BASED ON MINI-UAS FOR ESTIMATING WATER AND BOTTOM RADIANCE CONTRIBUTIONS IN OPTICALLY SHALLOW WATERSVIRTUALIZING SUPER-COMPUTATION ON-BOARD UASEnabling Dynamic Parametric Scans for Unmanned Aircraft System Remote Sensing Missions
P50
Q56892708-BB735C18-C03E-412C-8D70-C52AE22E9E6CQ56892791-A56BDAF7-277B-4AD0-96C1-9C7012585F9DQ56892802-5636F89C-1022-477F-97F5-6661AB878E71Q56892815-A70F0409-157E-4CB0-98D9-FF7CCA82D5E8Q56892880-84E2A4A6-E41D-42DD-9F0A-BF1FB9BC131AQ56892912-4B78EC0B-8E40-4764-A3AD-730A97602652Q56892941-DF0755D5-519D-4859-B412-75AC803152D1Q56892967-E7156B8F-7AB7-47FC-903A-2A7BDE4E4B3FQ58642998-097C4E4D-0CE0-44A1-BFD6-188B7AF4E07AQ58652602-432A6C3F-F6C3-402A-9B30-1A5AD0D8A1CAQ58652605-B5C70AB0-43F0-41D2-B8D0-2EBEC68760CBQ58652607-ECA9C4C2-B4BA-4356-8D9B-0ACCB084F726Q58652609-957A95B7-0F40-476C-8FE4-4D00F3955B70Q58652612-F41668FE-6BC8-4C79-A68C-B32D412247E9Q58652614-A9A69844-F6A3-4A93-BBEC-67043657FC9CQ58652616-DEC913D3-5B5B-47C1-AAF0-8A23B1BB72F9Q58652622-C5AF45BA-8EEC-475A-90A6-DDAE4C6B9518Q58652624-B03F53D0-F9AF-44C8-BC9B-1E0B7088DE59Q58652626-B0957C84-3CCE-47BE-902C-71F70ED5BC9DQ58652628-2607D7E6-6727-4425-9FB8-FD23E5AD94DDQ58652632-FD55C561-E039-4446-BB41-222037673B28Q58652633-5E2F628B-436E-4E19-B593-6E68D19CA145Q58652634-60BCDD31-F4FB-4735-AD52-2316EC11232CQ58652635-7869A106-5E50-4780-9A1C-634DE68211E0Q58652636-B53A0E05-BA76-49B7-9578-E8F03B17C0E3Q58652637-64B3EF32-E9EA-49DB-9927-A2570B40CCE0Q58654171-F4CC5399-0CD0-4316-9631-710BE1DF4521Q58654180-49F3E1DF-1C2D-400C-8BA3-CE5FD78F4C8FQ58654191-4E83DEA9-08AB-4AB3-B81F-5F08E4B25BACQ58654196-AA85C40E-6204-416C-8095-04A55D8C29E2Q59123902-3C62F275-9977-4336-ABE1-02235FBAE164Q61735340-D895F5D0-82BC-4584-8B98-BE52F41086A0Q61735342-330F5FB1-41EE-45B5-A984-D0196BE1F350Q61735345-54B727A0-77E0-4FB7-8EE2-CDA75A1DA31FQ61735347-5369C4A9-9FEE-4052-8FA7-BDE78AAFED6EQ61735348-79F04226-E85B-4B27-B287-2262CD4F7EC0Q61735349-5F27D1AA-82A3-405B-9586-8F732C07D250Q61735350-109EF012-2736-4BFD-8E7E-BA7028C77243Q61735352-368303B5-D5CA-44A8-95DB-96C8EF3EFA3AQ61735353-99885242-0774-4DB2-9E7F-E05E3F36B19B
P50
description
forsker
@nb
onderzoeker
@nl
researcher
@en
հետազոտող
@hy
name
E. Pastor
@ast
E. Pastor
@nl
Enric Pastor
@en
Enric Pastor
@es
Enric Pastor
@nb
type
label
E. Pastor
@ast
E. Pastor
@nl
Enric Pastor
@en
Enric Pastor
@es
Enric Pastor
@nb
altLabel
E. Pastor
@en
prefLabel
E. Pastor
@ast
E. Pastor
@nl
Enric Pastor
@en
Enric Pastor
@es
Enric Pastor
@nb
P214
P106
P1153
56209469100
P214
P2456
P31
P496
0000-0002-7587-8702
P734
P7859
viaf-305861209